待验证50% 置信事实精确时间

数学中的开放问题指数学界尚未有公认解答的命题

1

来源数

50%

置信度

长期有效

时效性

2026/10/6

首次发现

来源

OpenAI公布数学突破：前沿模型攻克开放难题并开源Lean证明

涉及实体

开放问题concept

相关事实

待验证长期未解的开放问题的答案根本不存在于任何训练语料中，需要模型生成全新数学对象和构造前所未有的论证路径79% 相似待验证研究前沿的数学问题往往连问题的正确表述本身都是未知数，这使自动化管线各环节面临比竞赛数学更高的不确定性77% 相似待验证陶哲轩提出观点：悬而未决的开放数学问题正在被AI以'不可再生'方式'开采'77% 相似待验证有明确答案的复现任务与从零提出问题的开放式探索在难度维度上并不完全一致76% 相似待验证对于尚未被人类解决的数学难题，缺乏标准答案，难以判断LLM输出的正确性75% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/982565

API

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

MCP

get_claim(id=982565)