The Day AI Broke Mathematics – The $1,000,000 Proof No Human Has Read

For 2,500 years, mathematics was the one place where human beings could know something for certain. In 2026, machines walked in. Ten thousand AI agents, eighty-eight hours, and a drop of water that breaks: the claimed resolution of a Navier–Stokes Millennium Prize problem, the private race and the disputed credit behind it, the unit-distance conjecture overturned, and 722 machine-written manuscripts released in a single day. From Euclid and Hilbert to Gödel, Turing, Ramanujan and Erdős, this is the story of proof, the last human certainty, and what happens when no human can read it. This film describes events as of November 2026. The Navier–Stokes claim has not been formally evaluated by the Clay Mathematics Institute; accounts of the private conversations are attributed to the people who gave them, and the parties dispute them. Chapters 0:00 Cold open 2:16 The Only Certainty 8:38 The Telephone Directory 11:36 Move Thirty-Seven 15:16 The Grid 18:16 The Water That Breaks 22:42 Eighty-Eight Hours 27:43 Apparently Settled 31:19 Seven Hundred and Twenty-Two 36:13 The Last Human Proof Sources • OpenAI, "Model disproves discrete geometry conjecture" (May 2026) and Navier–Stokes announcement (8 Sept 2026) • Alon, Bloom, Gowers, Litt, Sawin, Shankar, Tsimerman, Wang, Wood, "Remarks on the disproof of the unit distance conjecture", arXiv:2605.20695 • Tristan Buckmaster, public statement (7–8 Sept 2026), cims.nyu.edu/~tristanb/statement.pdf • Clay Mathematics Institute, Navier–Stokes announcement (11 Sept 2026) • Quanta Magazine; Scientific American; Fortune; MIT Technology Review; Retraction Watch; IEEE Spectrum; IBM Think • Terence Tao, blog posts of 7 Sept, 11 Sept and 10 Oct 2026 • "A Severe Misalignment of AI in Mathematics", Fields Medalists' declaration (11 Sept 2026) • Leiden Declaration on AI and Mathematics (June 2026) • Bastounis, Circelli, Hansen, arXiv:2610.08144 • Scott Aaronson, Shtetl-Optimized • C. Fefferman, official problem description, Clay Mathematics Institute (2000) Images: public domain, via Wikimedia Commons, NASA, the Royal Collection and the Smithsonian; credited on screen.