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
UnverifiedBenchmark scores alone make it difficult to determine whether a model has truly mastered mathematical reasoning; step-by-step verification of the problem-solving process by domain experts is required.79% similarUnverified目前公开可验证的AI数学成果绝大多数停留在解决有已知答案的竞赛题目层次，而非创造全新数学知识的开放性问题层次78% similarUnverifiedAn open problem in mathematics refers to a proposition for which the mathematical community has not yet reached a recognized answer77% similarUnverifiedMeasuring the decomposability of math problems still relies on human judgment, and no unified standard has yet been established.76% 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.75% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/922101API
curl https://kongchang.com/api/v1/knowledge/claims/922101MCP
get_claim(id=922101)