Back Rohan Paul

Rohan Paul· @rohanpaul_ai · X· 2026-10-28 00:00 · Original publication time AI score33

Mathematics and AI advisory group calls on OpenAI to release withheld Yang–Mills proofsMachine translation

Automatically verified and published · Generated and evidence-checked automatically; not reviewed by a human.

AI introduction

The group wants OpenAI to release the natural-language and Lean files behind its claimed existence proofs for Yang–Mills theory, quantum chromodynamics and a completion of the Standard Model. The physics files remain with reviewers led by David Gross; OpenAI’s claims alone do not establish that the proofs are valid.

Original post · AI translation

Rohan Paul@rohanpaul_ai

Translation · refer to the original

数学与人工智能咨询小组公开呼吁 OpenAI 发布其尚未公开的杨–米尔斯理论证明。

他们希望 OpenAI 现在公布其声称已完成的杨–米尔斯理论、量子色动力学以及标准模型完备化的存在性证明背后的自然语言文本和 Lean 输出。

OpenAI 称，其模型于 9 月 9 日证明了杨–米尔斯理论的存在性，于 9 月 18 日证明了量子色动力学的存在性，而 Lean 在 10 月 16 日前完成了对前一项证明的检查。

其卡凯亚问题和指数时间假说的研究结果直接发布到了 GitHub，而物理学相关文件仍留在由 David Gross 牵头的评审人员手中。

00:00 · 2026-10-28 · UTC+8

Found an error? Send a correction