Trillions in compute later, AI produced the antithesis of Erdős' THE BOOK

burny_tech · x · 2026-09-30

Mathematician Paul Erdős imagined THE BOOK, containing the most elegant proof of every theorem. The quip: after trillions of dollars of compute, we've produced its antithesis — LLM proofs as bloated, graceless machines.

Original post →

More from Fun

Fun channel →