RecodeX 重构消息，由物理学家戴维·格罗斯主持、阿瑟·贾菲与伊戈尔·克莱巴诺夫参与的杨-米尔斯工作组，计划公开发表OpenAI的1147页Lean形式化证明及工作组自身的评估意见。该证明仅覆盖杨-米尔斯理论的存在性问题，质量间隙问题以及与之相关的100万美元悬赏仍未解决。