待验证60% 置信观点精确时间

研究前沿的数学问题往往连问题的正确表述本身都是未知数，这使自动化管线各环节面临比竞赛数学更高的不确定性

2

来源数

60%

置信度

长期有效

时效性

2026/9/15

首次发现

来源

AI与数学的新起点：Daniel Litt的深度思考

涉及实体

相关事实

待验证目前公开可验证的AI数学成果绝大多数停留在解决有已知答案的竞赛题目层次，而非创造全新数学知识的开放性问题层次78% 相似待验证长期未解的开放问题的答案根本不存在于任何训练语料中，需要模型生成全新数学对象和构造前所未有的论证路径75% 相似待验证AI执行测试用例的最大软肋是不确定性，同一条用例有时跑通有时跑不了75% 相似待验证竞赛题与开放性研究难题存在本质区别：前者有明确的已知答案和标准解法，通常需要巧妙但不需要创造新数学理论；后者则需要真正的原创性思维与全新的数学工具75% 相似待验证陶哲轩提出观点：悬而未决的开放数学问题正在被AI以'不可再生'方式'开采'74% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/922101

API

curl https://kongchang.com/api/v1/knowledge/claims/922101

MCP

get_claim(id=922101)