Terence Tao Has Mixed Feelings About AI-Generated Math Proofs
Terence Tao expressed mixed feelings about AI-generated mathematical proofs, praising their clever new ideas built on prior human work, while worrying that no one can answer questions about them or mentor students through them.
2026-10-10 ~ 2026-10-11 · 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 Talk Ignites Debate on AI Comprehensibility(2026-10-11, 58 posts)
- Episode 7: Terence Tao's Thought Experiment Sparks Debate on AI Discoveries Beyond Human Understanding(2026-10-11, 2 posts)
- Episode 8: Terence Tao Calls for More Compute for AI Math, Misread on Reddit(2026-10-11, 2 posts)
- Episode 9: OpenAI drops 700+ AI math manuscripts, leaving Fields medalist in tears(2026-10-12, 6 posts)
- Terence Tao on AI proofs: clever ideas, but no humans left to explain them — burny_tech · 2026-10-10
1 near-duplicate retellings: orvieto_antonio