Applications
On the quality of the current round of proofs.
On the quality of the current round of proofs. Paul Erdos had a concept of 'Proofs from The Book', meaning that the argument is so compact and elegant that this is the proof God would've written down
On the quality of the current round of proofs. Paul Erdos had a concept of "Proofs from The Book", meaning that the argument is so compact and elegant that this is the proof God would've written down in "The Book." After reading the GPT5.4 proof of Erdos #1196, I would say this is a Book Proof of the result. The conjecture is…
Related
Source: Ethan Mollick (X) | 2026-04-15