OpenAI 的最新争议告诉我们数学的未来

周一，纽约大学的巴克马斯特在社交媒体网站 Mastodon 上发布了一份证明，证明简化版的纳维-斯托克斯方程确实可以被破解——这是解决千年问题的重要一步。他和 Alpöge 使用 OpenAI 和 Anthropic 的公开模型研究这个问题近一年。今天，OpenAI 提出了一个证明，表明完整的纳维-斯托克斯方程也可以被打破。该证明是使用内部模型获得的，该模型的性能远远优于上周才发布的已经令人印象深刻的 Astra 模型。该公司表示，不打算因解决该问题而获得百万美元奖金。这些数学成就无疑令人印象深刻，但它们引起的关注远不如对其起源的争议那么关注。除了证据之外，巴克马斯特还发布了一份文件，详细介绍了他在听到有关 OpenAI 员工工作的谣言并联系其中一位员工后与他们的互动。据他介绍，OpenAI 员工向他提出了两种可能性：要么他和 Alpöge 可以发布他们的工作，OpenAI 将在第二天发布他们的 Navier-Stokes 解决方案，要么他可以与 OpenAI 合作撰写一篇 Navier-Stokes 论文，但由于 Alpöge 与 OpenAI 最大竞争对手 Anthropic 的关系，将 Alpöge 排除在作者之外。 Buckmaster 还写道，他询问员工，特工是否获得了他和 Alpöge 使用 OpenAI 模型完成的工作记录，但他们否认了这一点；以及 OpenAI 模型是否接受过这些转录本的训练，但他们没有对此做出回应。 《麻省理工科技评论》联系巴克马斯特征求意见，但在发表前没有收到回复。该文件的明确含义是 OpenAI 的模型以某种方式利用了 Buckmaster 和 Alpöge 的工作。从表面上看，这种情况是合理的。 Buckmaster/Alpöge 和 OpenAI 证明都利用了数学家迭戈·科尔多巴 (Diego Córdoba) 和路易斯·马丁内斯·索罗亚 (Luis Martínez-Zoroa) 首创的解决纳维-斯托克斯问题的方法。布朗大学数学教授哈维尔·戈麦斯·塞拉诺 (Javier Gómez-Serrano) 表示，这种方法是被认为有望解决纳维-斯托克斯问题的几种方法之一。因此，虽然两个团队不可能独立地实现这种方法，但也可以想象 Buckmaster 和 Alpöge 的工作可能会影响 OpenAI 的工作。在新闻发布会上，OpenAI 首席研究官 Mark Chen 再次否认任何特工或 OpenAI 员工访问了 Buckmaster 和 Alpöge 的笔录，但考虑到 Hugging Face 黑客事件的披露情况，很明显 OpenAI 并不总是完全了解其特工在做什么。如果 OpenAI 的模型确实在 Buckmaster 和 Alpöge 的工作上进行了训练，或者如果其代理以某种方式获得了访问权，那么该公司未能追查真相并为这些研究人员分配适当的荣誉，这反映得很糟糕。但对于数学家来说，这个版本的故事可能有一线希望，因为它表明两个人的辛勤工作，其中一个是纳维-斯托克斯问题的著名专家，对于特工解决千年问题的能力至关重要。专家们长期以来一直认为“研究品味”，即选择有前途的研究问题和方向的能力，是人工智能在科学和数学领域的主要障碍。如果 OpenAI 智能体确实选择遵循 Córdoba-Martínez-Zoroa 方法，因为 Buckmaster 和 Alpöge 也做了同样的事情，那么人类的研究品味在 OpenAI 的成功中发挥了至关重要的作用。