分享人工智能在数学领域的进展
OpenAI 在 GitHub 上公开了名为 openai/math 的代码仓库,其中包含由 OpenAI 内部模型生成的数学手稿及配套证明材料,并附有 Lean 形式化证明。内容涉及多个长期未解的开放问题,例如 Barnette 猜想和 Unique Games 猜想。
Hacker News 的评论者认为此次发布意义重大:有人指出 Unique Games 猜想是“计算复杂性理论中的奠基性猜想”,也是许多不可近似性结果所依赖的假设,若证明成立“是件大事”。另一位评论者表示,自己几个月前曾花大量时间用当时最先进的模型尝试攻克 Barnette 猜想,但未能成功。
一位评论者引用 proofatlas.ai 称,该清单声称完整解决了数学领域前 500 个开放问题中的 90 个,其中排名最高的包括有理数域上的希尔伯特第十问题、Unique Games、Anderson 模型扩展态、时空 Penrose 不等式以及 Landau–Siegel 零点不存在性。另一位评论者特别提到三台机器单位作业调度的多项式时间算法,该问题自 1979 年 Garey 与 Johnson 的书出版以来一直未解。上述细节均来自社区讨论,并非对证明的独立验证。
hackernews · OpenAI Blog · · 社区讨论 · 2 源确认
背景、讨论与参考资料
市场影响
此次发布属于研究能力层面的里程碑,与加密市场之间没有直接的传导渠道——不涉及任何代币、协议、托管或监管机制。若有影响,也只能是通过部分 AI 主题代币所依附的 broader AI 叙事情绪间接体现。
背景
Barnette 猜想以加州大学戴维斯分校荣休教授 David W. Barnette 命名,是图论中一个未解问题,其内容为:每个每个顶点关联三条边的二部多面体图都具有哈密顿回路。Unique Games 猜想则是计算复杂性理论中的核心猜想。OpenAI 的仓库被描述为包含由公司内部模型生成的数学手稿与配套证明材料,以及 Lean 形式化证明和研究细节。
社区讨论
Hacker News 的讨论帖获得 173 分、121 条评论,讨论重点在于核实究竟解决了哪些问题,而非情绪化追捧。评论者对各项成果的重要性进行了排序——有人指出其中一项调度结果“重要性明显低于 UGC”,但自 1979 年以来一直未解——并有多人给出仓库中具体预印本的链接以供查验。
参考链接
标签
#OpenAI#mathematics#proof generation#Barnette's Conjecture#Unique Games Conjecture#Lean