Unverified50% confidenceOpinionExact time
Terence Tao has put forward the view that unsolved open mathematical problems are being 'mined' by AI in a 'non-renewable' manner.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/9/2026
First Seen
Valid until: 12/8/2026
Sources
Related Entities
Related Claims
Unverified目前公开可验证的AI数学成果绝大多数停留在解决有已知答案的竞赛题目层次，而非创造全新数学知识的开放性问题层次76% similarUnverified第一性原理思维（从基本物理约束和数学规律出发推导解决方案）的能力难以被AI替代，因为它需要在全新问题上进行创造性推导73% similarUnverifiedThe mathematical community's standard for solving unsolved problems requires simultaneously satisfying: the problem is a recognized open problem in the field, the proof logic is rigorous, and it passes peer review71% similarUnverified陶哲轩认为被AI替代的数学工作部分并非数学最核心的价值所在70% similarUnverifiedAnswers to long-standing open problems simply do not exist anywhere in training corpora, requiring models to generate entirely new mathematical objects and construct previously unseen lines of argument.70% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/885687API
curl https://kongchang.com/api/v1/knowledge/claims/885687MCP
get_claim(id=885687)