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
UnverifiedThe vast majority of publicly verifiable AI mathematical results remain at the level of solving competition problems with known answers, rather than at the level of open problems that create entirely new mathematical knowledge76% 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)