RecodeX 重构消息，OpenAI宣称其内部模型在数学、计算机科学与物理领域取得多项突破，包括在物理上给出量子场论（含纯杨-米尔斯场论、量子色动力学）的严格存在性证明，并完成杨-米尔斯场论存在性的Lean形式化，同时补全数学家巴拉班未完成的相关证明链条。

该成果仅覆盖克雷数学研究所千禧年问题中杨-米尔斯场论存在性的一部分，质量间隙问题仍未解决，引力也未被纳入统一框架。相关物理部分的证明材料并未公开，所有结论目前尚未经过核实。