OpenAI 最新数学成果被指含 Kakeya 猜想证明，AGMAI 催促公开 Yang-Mills 材料

calabi_and_yau · x · 2026-10-27

数学家 Timothy Gowers 转述：OpenAI 近期发布的数学研究成果包含对指数时间假设（ETH）的反驳、「局部光滑性」证明（该结果蕴含完整 Kakeya 猜想），以及纯 Yang-Mills 理论存在性的证明。

普林斯顿高等研究院旗下「数学与人工智能咨询组」（AGMAI）发布公开呼吁，要求 OpenAI 立即公开其宣称的 Yang-Mills 理论、量子色动力学存在性证明及标准模型完整化背后的自然语言与 Lean 形式化输出。AGMAI 强调 Yang-Mills 存在性属于千禧年大奖难题，四维相互作用量子场论的构造是数学物理界数十年的目标；并指出 OpenAI 此前以等待 Lean 形式化完成为由延迟发布，如今形式化已完成，没有科学理由继续拖延。该组织还发布另一份文件，讨论 AI 实验室指定特定数学家参与成果发布的弊端，主张研究进展的开放理解应由社区有机推动。