OpenAI 分享了数十种数学问题的新解决方案

OpenAI 并没有让数学家休息。

10月6日，公司发布公告 一堆新的数学结果 以巨大的 GitHub 存储库的形式出现——一个需要数百个工时才能阅读的信息存储库。该公司的内部边界模型为300多个问题提供了解决方案，但该公司也表示希望专家来处理问题，并引入了新的文件修改和引用程序。

OpenAI 写道：“对于未来的版本，我们致力于通过引用、数学解释和结果呈现来进一步提高论文质量，以便更好地理解。”

上个月，开发商发布了一个激动人心的公告，10,000名AI代理参与救援 纳维-斯托克斯存在性和光滑性问题未解的纳维-斯托克斯方程的较窄部分，该方程是千年奖问题集的一部分。机器人数学家的“突破”本来可以为 OpenAI 带来 100 万美元的奖金，但该公司拒绝了。

也许有充分的理由，学者们后来敦促该公司通过使用它来解决部分问题，而不是全部问题 数学差距 ——一些人称之为“不自然”的方法。

OpenAI 对数学伟大性的追求并不那么容易受到阻碍。

OpenAI 宣布后，高等研究院数学和人工智能咨询小组表示同意 不支持人工智能开发人员使用专有模型 在没有科学界参与的情况下测试解决方案。开发人员宣布成立一个新的咨询小组，将为未来的版本提供建议。然而，OpenAI 似乎使用了相同的未发布模型来求解最新的方程组。

然而，与之前的理论条目不同的是，OpenAI 声称后者是有问题的 通过单一提示解决 开发人员告诉《科学美国人》，由单个人工智能代理提供支持。这一说法已经受到专家的质疑，他们仍在等待访问这个所谓的先进数学模型。