快讯2026-10-28 · 智涌AI

OpenAI 公布三项 AI 数学物理发现

OpenAI 公布三项 AI 产出的数学、复杂度与量子场论结果

2026 年 10 月 26 日,OpenAI 在官网发文,公布内部模型在数学、理论计算机科学与理论物理方向产出的三项结果,并说明与外部学者协作「把原始输出变成学界可理解成果」的三种不同放行策略。

OpenAI 写明:不寻求这些「发现」的学术署名;协作免费自愿;材料按各组意见公开。ETH 长期支撑大量条件硬度结果;若 Lean 与学界解释站得住,相关条件下界要重审,但更快算法能否落地仍是后续问题。更稳妥的读法是把材料当「待核验的原始研究数据」,先跟仓库里的 Lean 与 shepherd 说明,再等学术写稿。

注意:内容与日期均来自 OpenAI 官方博文及 openai/math 仓库公开材料;本站未独立复验 Lean 证明,也未评价物理协作组暂缓材料的完整性。

关注公众号「智涌AI速递」

每天的 AI 快讯、实用教程和 AI项目实测,也会同步发到微信公众号。在微信里搜索「智涌AI速递」就能关注;不用微信的话,可以用 RSS 订阅本站。