When AI Solves Your Life’s Work
Summary
This episode analyzes OpenAI’s release of 372 novel mathematical proofs, which solved 90 of the top 500 open problems and sparked debate on whether this marks the first true field-level AI disruption. The discussion contrasts this breakthrough with the fragility of the AI investment narrative, highlighted by a significant discrepancy in OpenAI’s reported revenue compared to Anthropic’s.
Topics discussed
Intro: AI disruption in coding and math
Sponsors and show announcements
OpenAI revenue correction and market reaction
The Information survey: AI ROI and usage trends
Anthropic bans users for abusing Claude
Claude Dashboards and Motion features
Sponsor segments: KPMG, Harbor, Robots & Pencils, Blitzy
OpenAI releases 372 novel math proofs
Scope of results and mathematician reactions
Challenges of verifying high-volume AI proofs
Impact on academic math and student careers
Practical applications and missing crypto results
Which fields will AI disrupt next?
Conclusion: The future of mathematicians
Listen ad-free on Castria