The summer Math fell to the machines...

A satirical recap of a wild summer in which AI models allegedly disproved several long-standing math conjectures, including the Jacobian conjecture and a 30-year-old graph theory problem, and made progress on the Riemann hypothesis. Highlights include OpenAI shipping ten solved problems with formal Lean proofs, Anthropic's unreleased model (prompted by Bun creator Jared Sumar) running 60 sub-agents and burning 31 million tokens to boost a proof-adjacent metric, and Terence Tao warning about a crisis in mathematical practice at the International Congress of Mathematicians. The piece is presented in a comedic, hyperbolic tone typical of a tech YouTube recap, with a Railway sponsorship plug at the end.