Terence Tao Warns AI Solving Key Math Problems Could Backfire

Terence Tao argued that AI cracking key open problems like Navier-Stokes regularity could stifle a field's development, sparking discussion on whether AI-solved math can still generate meaningful follow-up questions.

2026-09-08 ~ 2026-09-08 · 4 related posts

• Terence Tao: AI solving key open problems could stunt a math field's growth — tak3sh8 · 2026-09-08
• Math as an island of knowledge: why new results keep generating new problems — qberthet · 2026-09-08
• Why AI-solved math problems rarely lead to the next good question — tak3sh8 · 2026-09-08
• If AI cracks Navier-Stokes and leaves a Lean formalization, what's next? — tak3sh8 · 2026-09-08