Unverified60% confidenceOpinionExact time
For cutting-edge mathematical research problems, even the correct formulation of the problem itself is often unknown, which exposes each stage of an automated pipeline to greater uncertainty than competition mathematics.
2
Sources
60%
Confidence
Long-term
Relevance
9/15/2026
First Seen
Sources
Related Entities
Related Claims
Unverified目前公开可验证的AI数学成果绝大多数停留在解决有已知答案的竞赛题目层次，而非创造全新数学知识的开放性问题层次78% similarUnverifiedAI执行测试用例的最大软肋是不确定性，同一条用例有时跑通有时跑不了75% similarUnverifiedThere is a fundamental difference between competition problems and open research problems: the former have definite known answers and standard solutions and typically require ingenuity but not the creation of new mathematical theory, whereas the latter require genuine original thinking and entirely new mathematical tools.75% similarUnverifiedTerence Tao has put forward the view that unsolved open mathematical problems are being 'mined' by AI in a 'non-renewable' manner.74% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/922101API
curl https://kongchang.com/api/v1/knowledge/claims/922101MCP
get_claim(id=922101)