A chat about the "Holy Grail"

[Eugene Freuder]

I just had an interesting chat with ChatGPT on progress towards the "Holy Grail": 

https://chatgpt.com/share/69bb0498-7304-8010-9e81-67390f368647

I hope this will generate some discussion in this Group! 

(Note I had a prepared list of inputs for the chat, so didn't follow up at the time on the directions ChatGPT proposed, though that could be interesting as well.)

Please note that a panel is planned for CP 2026 on "Thirty Years of Progress Towards the Holy Grail". Maybe we should have ChatGPT (or Claude or ...) occupy a chair. :-) 

[Eugene Freuder]

And here is what Claude had to say:

https://claude.ai/share/25c44ba1-74fa-4aa8-b86a-ae17b06810dd

(Incidentally, I'm just using the free ChatGPT and Claude websites.)

What do YOU have to say?

-- Gene

[Luis Quesada]

Dear Gene,

Thanks for sharing the chat—very interesting indeed.

It seems to me that there is a great opportunity for symbolic reasoning in the verification of code that has been automatically generated. I would be very interested in learning more about efforts that are already underway in this area within our community.

On a separate note, the idea of having ChatGPT as a member of the panel does not sound too crazy to me. In fact, I have to say that ChatGPT understands my Spanish accent much better than Zoom. Indeed, sometimes Zoom asks me to confirm my language (i.e., Zoom’s polite way of saying that it is struggling with my accent:-)). ChatGPT understands me perfectly. So much so that I now find myself interacting more frequently with ChatGPT via voice, often using prompts that are more than 100 words long. I think this is a very good way of practising (for non-native speakers), since ChatGPT’s pronunciation is quite good.

Cheers,  

Luis

--
You received this message because you are subscribed to the Google Groups "Constraints" group.
To unsubscribe from this group and stop receiving emails from it, send an email to constraints...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/constraints/3852fe6d-8688-4bbc-9e70-3f2951d8603dn%40googlegroups.com.