OpenAI 宣布证明挂谷猜想等三项成果，发布方式引科研界不满

OpenAI 于 10 月 27 日宣布三项成果：在全部维度证明挂谷猜想（Kakeya conjecture）、证伪指数时间假说，以及围绕量子色动力学与杨-米尔斯理论的标准模型研究。三项成果采用不同发布方式：数学方向直接放出推导内容，计算机科学方向组建外部小组解读，物理学方向暂不公开、由专家团队决定。布朗大学教授布伦丹·哈塞特称结论“看起来有充分依据”，但尚未核验 Lean 形式化证明。数学与人工智能咨询专家组（AGMAI）在成果公布前一天发文警示信息管控行为，并在公布后敦促 OpenAI 立即公开物理学成果的自然语言文稿与 Lean 形式化证明。