Is Mathematics Being Solved by AI? Views Clash on Its Open Future
A debate is unfolding over whether AI has 'solved' mathematics. Critics argue math is an ever-expanding open system with countless open problems, while others say AI is steadily cracking old problems and call on mathematicians to collaborate rather than resist.
2026-09-22 ~ 2026-09-23 · 2 related posts
- Episode 1: Is Mathematics Being Solved by AI? Views Clash on Its Open Future(2026-09-22, 2 posts)
- Episode 2: OpenAI Claims Navier-Stokes Solved in a Week for $10 Million(2026-09-24, 2 posts)
- Episode 3: OpenAI's Navier-Stokes Claim and Planned Mass Release of AI Protests Split Mathematics(2026-10-06, 33 posts)
- Episode 4: Developer Claims AI Math Proofs Come From Brute-Force Search, Not Deep Insight(2026-10-06, 2 posts)
- Episode 5: Mathematicians Clash Over Peer Review in the Age of AI-Generated Papers(2026-10-06, 13 posts)
- Episode 6: OpenAI Reportedly Spent Tens of Millions in Compute on Navier-Stokes Proof(2026-10-06, 2 posts)
- Episode 7: AI solving math at scale raises questions about STEM education(2026-10-07, 3 posts)
- Episode 8: Debate Erupts Over Whether AI Will Sweep Away Brute-Force Math Problems(2026-10-07, 2 posts)
- Episode 9: OpenAI's Math Gains Fuel Debate on AI's Exponential Leap in Verifiable Fields(2026-10-07, 2 posts)
- Episode 10: 'Open-pit mining' thesis: AI grinds through math where conceptual infrastructure is mature(2026-10-07, 10 posts)
- Episode 11: Mathematicians Push Back as OpenAI Drops 722 AI Math Manuscripts(2026-10-07, 53 posts)
- Episode 12: Debate rages over AI's impact on mathematics: harm acknowledged, responses contested(2026-10-08, 22 posts)
- Episode 13: Cryptography's absence from OpenAI math results sparks fears of hidden breakthrough(2026-10-08, 5 posts)
- Episode 14: Scott Aaronson's "Mathocalypse": OpenAI's 372 Math Results Shake the Field(2026-10-08, 9 posts)
- Episode 15: Mathematicians hail OpenAI breakthrough while mainstream front pages stay silent(2026-10-08, 5 posts)
- Episode 16: Cryptographer Matthew Green warns AI could undermine public-key encryption(2026-10-08, 21 posts)
- Episode 17: Scott Aaronson: Frontier AI Labs Quietly Testing Models Against Cryptographic Protocols(2026-10-08, 5 posts)
- Episode 18: Cryptographer Matthew Green Walks Back "Public-Key Crypto Broken" Panic: Encryption Is Fine, Keep Using It(2026-10-09, 7 posts)
- AI is solving old math problems one by one, and mathematicians should collaborate, argues thread — TinfoilTricorn · 2026-09-22
- Mathematicians, not just LLMs, made AI's math breakthroughs possible, scholars argue — tak3sh8 · 2026-09-23