
AI Marks the Beginning of Mathematics, Not the End, as the Muse Gets Sexier
Cornell mathematician Steve Strogatz cried on The Daily as he told Rachel Abrams that chasing a proof feels like courtship, a slow seduction of a muse who resists, almost yields, then holds out for one more night. Now the AI labs have ended the chase: An OpenAI system disproved Erdős Problem 90, an 80-year-old puzzle about dots on a plane, with alien, nested halos of points that demand something like ten to the two millionth power dots. Ten thousand agents grinding for 80 hours found a Navier-Stokes blowup that checks out numerically and that no human fully understands. Then came a dump of 722 unreviewed papers, including a quasi-Riemann result that clears zeros from a quarter of the critical strip. Mookie flies solo on the 79th episode of Bald and Bloviating, and lays out why the mathematicians feel robbed. Chatbots that once couldn't count the R's in strawberry now hold the entire corpus of mathematics in one mind and chase thousands of proof strategies at once, around the clock. Terry Tao compares mathematicians to marathon runners, and Mookie pictures a Humvee roaring past at mile twenty, planting a flag at the finish line, and selling the photos ahead of a trillion-dollar IPO. By Strogatz's logic, limitless machine proofs turn the seduction into Pornhub: cheap, abundant, transactional, and empty. Then Mookie flips the frame. Daniel Litt imagines walking into a Library of Babel with the proofs of Hodge and Riemann sitting on open shelves, and choosing joy over grief. Andrew Wiles described discovery as groping through a dark mansion until you find the light switch and spot the next door. Every proof the machines hand over lights a room and reveals another, and Gödel suggests the mansion never ends. The Marquis de Sade supplies the kicker: the libertine builds tolerance and craves stranger thrills, so a solved Riemann hypothesis won't sate anyone. It raises the baseline and makes the muse kinkier. The episode also wrestles with the hard parts. OpenAI behaves like a crass, credit-stealing plutocrat, and Mookie says so, then compares the carnage to Starship destroying its own launch pad on the way to orbit. Physicists traded heroes for team science at the Large Hadron Collider decades ago, while string theory shows where human stubbornness alone can lead. Nobody understands every part of the thermostat on the wall, yet it works. Tao worries that understanding falls as the technology climbs, and Mookie answers with a priesthood of geeks, the vinyl collectors of mathematics, who will keep the nuts and bolts alive. The printing press scared the scribes too. Mookie closes with a confession about hitting his own math ceiling in college, practical advice for Strogatz (feed the quasi-Riemann paper into your own AI and take it apart), and a teaser for coming rants on Pinker, Nietzsche, and the alignment problem. The machines pulled the rug. They also rolled out a red carpet. Kink up, mathematicians. Send the host a text! Let him know what you think Support the show
- Transcript

















