Terence Tao on AI proofs: clever new ideas, but no human left to answer questions
orvieto_antonio · x · 2026-10-11
Terence Tao says his feelings on recent AI-generated mathematical proofs are "very mixed and complex." On one hand, many proofs introduce clever new ideas that could prove fruitful, building on generations of human work. On the other, unlike traditional breakthroughs, no human involved is available to take questions, give talks, attend conferences, submit to journals, or train students — cutting the results off from the mathematical community's usual development cycle. Fellow mathematicians like TaliaRinger shared the quote in共鸣.
Related event: Terence Tao Has Mixed Feelings About AI-Generated Math Proofs(2 posts)→
More from AGI Musings
- Mathematicians mostly excited about AI, grad students and postdocs hit hardest — _onionesque · 2026-10-12
- Mathematicians mostly excited about AI, grad students and postdocs hit hardest — _onionesque · 2026-10-12
- Palantir CTO Calls AGI Hype a 'Mass Psychosis', Cites Researchers Smoking as Faith Signal — AlexTensor · 2026-10-12
- Derya Unutmaz: the list of things AI can't do is shrinking toward zero — DeryaTR_ · 2026-10-12
- Quasi-RH grants drying up: how AI is forcing math academia to rethink incentives — _onionesque · 2026-10-12
- Billion AI scientists will tackle aging, predicts AI commentator — Dr_Singularity · 2026-10-12