OpenAI 内部模型产出 372 项数学与理论计算机科学成果
据 OpenAI 披露，其一款未公开的内部模型已生成 372 项结果，这些结果要么解决了数学和理论计算机科学中的开放性问题，要么在这些领域取得了实质性进展。该公司表示，绝大多数结果是由单个 AI 智能体基于单一提示词生成的。
《科学美国人》报道指出，这一情况与 OpenAI 此前解决纳维-斯托克斯方程问题的方案形成鲜明对比。当时的解决方案由一个拥有 10,000 个智能体的集群协作完成，耗费了数百万美元的算力成本。
OpenAI 于美东时间下午 6 点在一个 GitHub 代码仓库中公布了上述结果。预计数学家们需要数月时间对这些内容进行解析和理解，以判定其中的证明是否包含新颖且重要的思想，还是主要基于现有技术的组合。不过，许多结果已在 Lean（一种用于验证证明逻辑的编程语言）中得到验证，因此几乎可以确定其正确性。
在声称取得的成果中，包括四维 Kakeya 猜想的解法、对世界上一些最重要的计算机算法的改进，以及针对数学界最棘手问题——黎曼假设的实际进展。
