AI Solves Nearly 400 Math Problems, Winning Over a Skeptical Mathematician
Mathematician Noah Gianella recounts his shift from skepticism to optimism as AI solved the Unit Distance Conjecture and nearly 400 math problems, admitting the writing is on the wall for the field.
2026-10-11 ~ 2026-10-12 · 2 related posts
- Episode 1: Terence Tao says AI math research is moving the wrong way(2026-10-07, 2 posts)
- Episode 2: Tao's "Mathematicians did not ask for this" sparks backlash as OpenAI math manuscripts face scrutiny(2026-10-08, 58 posts)
- Episode 3: Tao's Blog Debates Career Advice for Math Students in the LLM Era(2026-10-09, 2 posts)
- Episode 4: Mathematician Questions Terence Tao's AI Strategy(2026-10-09, 2 posts)
- Episode 5: Terence Tao Has Mixed Feelings About AI-Generated Math Proofs(2026-10-10, 2 posts)
- Episode 6: Terence Tao's Math 2.0 Lecture Sparks Debate on AI Proofs and Comprehensibility(2026-10-11, 58 posts)
- Episode 7: OpenAI's Flood of AI-Generated Math Papers Leaves Fields Medalist in Tears(2026-10-11, 12 posts)
- Episode 8: Ben Goertzel Slams Math Establishment Over LLM Theorem-Proving(2026-10-11, 3 posts)
- Episode 9: Terence Tao's Thought Experiment Sparks Debate on AI Discoveries Beyond Human Understanding(2026-10-11, 2 posts)
- Episode 10: Terence Tao Calls for More Compute for AI Math, Misread on Reddit(2026-10-11, 2 posts)
- Episode 11: AI Solves Nearly 400 Math Problems, Winning Over a Skeptical Mathematician(2026-10-11, 2 posts)
- Episode 12: AI Reshapes Math Funding: Riemann-Adjacent Problems Lose Support(2026-10-12, 2 posts)
- Episode 13: Mathematician Says Most Colleagues Are Excited About AI, Not Resistant(2026-10-12, 2 posts)
- Mathematician on AI solving ~400 problems: "the writing on the wall is unmissable" — emax · 2026-10-11
- Mathematician on AI solving 400 open problems: from dismissal to optimism — kevinakwok · 2026-10-12