2 ms·
From the paper: > When producing full natural-language proofs on IMO-AG-30, however, GPT-4 has a success rate of 0% ...
by ChatGTP 3y ago
From the paper:
> When producing full natural-language proofs on IMO-AG-30, however, GPT-4 has a success rate of 0% ...
- CamperBob2 3y ago"Also, the C++ code this talking dog wrote for me is full of buffer overflow vulnerabilities, and my Commodore 64 still can't run Crysis. There's nothing but hype here, move along." News flash: either AI gains the ability to postulate theorems, generate proofs, and validate them, or mathematics is as dead as Latin. Humans have reached their limit.