已验证65% 置信事件精确时间

OpenAI近期公布了其模型在数学问题求解上的表现，涉及对复杂数学命题的推理与证明尝试

3

来源数

65%

置信度

短期 (~14 天)

时效性

2026/10/8

首次发现

有效期至：2026/10/22

来源

陶哲轩回应OpenAI数学突破：AI证明的意义与边界

涉及实体

相关事实

已验证OpenAI的AI系统已经解决了超过100个开放性数学问题（open problems）77% 相似部分验证OpenAI公开发布了722篇AI生成的数学手稿，覆盖372个结果族，来自对内部模型约4000个数学研究问题的测试76% 相似待验证据巴克马斯特称，OpenAI数学团队负责人塞巴斯蒂安·布贝克告诉他，一个OpenAI模型自主生成了约百页的完整受迫纳维-斯托克斯方程爆破证明，并提议为巴克马斯特安排署名76% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/987127

API

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

MCP

get_claim(id=987127)