OpenAI称内部模型在数学、计算机科学与物理领域取得三项新发现
OpenAI 又出手了，这次没有产品，只有三块硬骨头。十月二十六号，他们发公告：内部模型在数学、计算机科学和物理学拿下三项新发现，并请外部专家当"牧羊人"组织核查。公告原文定位很诚实："这些手稿，最好被理解为一种原始研究数据。"三项各一句话：数学上，局部平滑猜想做到所有维度，推出挂谷与 Stein 限制两大猜想；计算机科学上，一个算法证伪了指数时间假设，复杂度理论的基石晃了一下；物理上，含量子色动力学的四维量子场论存在性证明。三项都带 Lean 形式化，在 GitHub 三天一万五千颗星——但截至今天，均