呼呼立即公开杨-米尔斯 AI 成果
数学与人工智能咨询小组 AGMAI 呼吁 OpenAI 不要再拖延，立即公开其宣称的存在性证明背后的自然语言文本和 Lean 形式化成果，涉及杨-米尔斯理论、量子色动力学以及标准模型的完备。该小组指出，杨-米尔斯存在性是千禧奖问题的一部分，OpenAI 曾说要等 Lean 形式化完成才发布，而按 OpenAI 自8a的说法，这一工作现已完成，因此没有科学理由再拖延。这一呼吁的意义在于，它要求对 AI 生成的重大未解问题证明实行平等、公开的获取，而不是分阶段或受限发布。
报道来源
- Hacker News (AI)2026-10-27 00:51