Questions tagged [chatgpt]
The chatgpt tag has no usage guidance.
2 questions
-1
votes
2
answers
701
views
GPT-4o as proof assistant
Recently (May 13, 2024), OpenAI released the new version of GPT called GPT-4o; I tested it on math problems and I must say I was impressed. I asked for:
a proof that in an isosceles triangle the ...
- 363
3
votes
2
answers
270
views
Coq / Lean endpoint for GPT actions
I'm trying to produce Coq and Lean code using a custom GPT but I want GPT to try running its proof scripts (and revising them if they fail) before suggesting them to me (via gpt actions).
Right now, ...
- 243