待验证50% 置信事实精确时间
OpenAI的内部模型在数周内接连解决了多个数学家长期未解决的开放问题，从勉强可用跃迁到与顶尖人类数学家相当的水平。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/20
首次发现
有效期至：2027/1/18
来源
AI攻入数学界：OpenAI解题引发学术圈分裂
youtubeThe Verge2026/10/20
涉及实体
相关事实
已验证OpenAI近期公布了其模型在数学问题求解上的表现，涉及对复杂数学命题的推理与证明尝试79% 相似待验证OpenAI 公开了一批由内部前沿模型产出的数学成果，共722份手稿，模型被提出约4000个开放研究问题，平均每个成果耗费约3小时 ChatGPT Pro 思考算力73% 相似待验证OpenAI给出三个方案，其中之一是Buckmaster发布论文时需承认一个OpenAI内部模型解决了该问题73% 相似待验证Reports on Hacker News and other tech communities claim that an internal OpenAI model codenamed 'Astra' solved 10 major open problems in mathematics and computer science72% 相似已验证OpenAI的AI系统已经解决了超过100个开放性数学问题（open problems）71% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1077327API
curl https://kongchang.com/api/v1/knowledge/claims/1077327MCP
get_claim(id=1077327)