THORN 19 emerges from collaboration with ChatGPT

[dr.mt...@gmail.com]

ChatGPT made a valuable contribution to THORN enabled me to change the proof procedure.   Most amazing dialogue I've ever had.  Working in tandem I managed

to shave off 10 lines of code but reduce the inferences needed to solve a group theory problem from 1.7M inferences to 330K inferences.

A great pleasure collaborating and in various cases  bouncing ideas off each other.

Mark

[Bruno Deferrari]

Which ChatGPT model do you use?

Also, have you tried Gemini (https://gemini.google.com/ "pro" is smarter, but "flash" is fast) or grok (https://grok.com/) ?

There is quite a bit of variation between models, it is always worth having the same discussion with more than one at a time to get a feel of them.

--
You received this message because you are subscribed to the Google Groups "Shen" group.
To unsubscribe from this group and stop receiving emails from it, send an email to qilang+un...@googlegroups.com.
To view this discussion, visit https://groups.google.com/d/msgid/qilang/709e261b-81e1-4e76-8ee9-07bad12c00d4n%40googlegroups.com.

--

BD

[dr.mt...@gmail.com]

Not yet.  I'll look into it.

M.