OpenAI向本已震惊的数学界发布数百项数学成果
内容摘要
OpenAI发布了一个内部大型语言模型产生的372项数学成果，声称每一项都解决或显著推进了数学或理论计算机科学中的一个重大未解问题。这些成果发布在GitHub上，包括四维Kakeya猜想的解决方案、对重要计算机算法的改进，以及在Riemann假设上的进展。许多成果已在Lean这一证明验证语言中得到验证。OpenAI表示，该模型几乎仅凭向单个AI智能体提供的一条提示就产生了几乎所有成果，这与之前解决Navier-Stokes问题形成鲜明对比——那次需要由10,000个智能体组成的集群和数百万美元的计算成本。数学家们持怀疑态度，指出OpenAI历来有大胆宣称但缺乏透明度的记录。该公司尚未发布模型、提示或确切的计算时间，尽管其召集的独立咨询小组提出了建议。一些数学家认为发布这些证明是有益的，而另一些人，包括Terence Tao，则批评AI生成成果的速度“疯狂”。OpenAI承认其自己的数学家尚未理解许多成果，但坚称不能放慢速度，因为这些问题是检验AI进步的必要测试。
(来源：Scientific American)