Out-numbered: AI’s contentious maths milestone
Summary
The episode examines OpenAI’s claim to solve the Navier-Stokes existence and smoothness problem, sparking debate over whether AI solutions lack the mathematical insights valued by the community. It also reviews the 25th anniversary of 9/11, discussing how post-9/11 counterterrorism laws are being repurposed by the Trump administration and the push to reform these powers. Finally, the show features an obituary for Guo Lanying, a legendary Chinese opera singer who overcame a brutal childhood to become a national treasure.
Topics discussed
Sponsor: Hotels.com business travel
Sponsor: NEA back to school
Show introduction and agenda
AI solves Navier-Stokes millennium problem
Interview: Sam Wyley on math community reaction
Explaining the Navier-Stokes equations
How OpenAI's AI agents solved the problem
Controversy over human mathematicians' work
Implications for the future of mathematics
Sponsor: Bill finance platform
Sponsor: Wayfair Halloween decor
25th anniversary of 9/11 and counterterrorism
Interview: Sam Beale on post-9/11 laws
Overview of post-9/11 legal provisions
Trump administration's use of terror powers
Changes in the terrorist threat landscape
Efforts to reform or repeal 9/11 laws
Preview: Insider episode on Islam in Europe
Obituary: Guo Lanying, Chinese opera star
Credits and next episode preview
Listen ad-free on Castria