OpenAI 是否利用matic的研究成果解决了千禧年难题？

OpenAI 声称已经破解了纳维-斯托克斯方程的存在性和光滑性问题，这是由位于马萨诸塞州剑桥市的克雷matic研究所（CMI）科学顾问委员会宣布的七大千禧年难题之一。然而，更难解决的问题或许是如何说服公众，因为公众对这家大型人工智能实验室的方法越来越持怀疑态度。.  

OpenAI 刚刚解决了我们这个时代最难的未解matic难题之一，就立即被两位matic问及他们未发表的研究成果是否以某种方式帮助实验室找到了答案。.

然而，随着这场闹剧公开上演，OpenAI 在公众认知方面落后了几步 ，这也不难理解，毕竟一个价值万亿美元的人工智能实验室卷入了一起 流氓代理安全攻击事件 了“安全清算”，而 风险处理 对手却是两位与公众关系密切的学者。 ，并且内部还就问题进行

OpenAI刚刚解决了哪个数学难题？ 

由 Sam Altman 领导的人工智能实验室表示，他们已经用 Lean 证明语言编写了证明和机器可验证的版本，证明光滑、最初平静的流体在光滑力的作用下可以无限加速，并在有限的时间内崩溃。. 

OpenAI 声称这项工作是由一个比其最近发布的 GPT-6 Astra 模型更强大的内部模型完成的，它解决了克雷matic研究所 2000 年列出的七个价值百万美元的问题之一。.

OpenAI 研究主管马克·陈表示，其计算成本超过了 CMI 提供的 100 万美元奖金。 塞巴斯蒂安·布贝克称，一度有约 1 万个智能体参与了该问题的求解。 

克雷数学研究所尚未认可OpenAI的证明。该研究所要求解决方案必须发表在符合要求的期刊或平台上，并向公众开放两年，且获得matic界的广泛认可，方可获得奖项评选资格。. 

值得注意的是，OpenAI 已经表示不会 寻求奖金。

OpenAI是否在其聊天记录中使用了matic的研究成果？ 

关于 OpenAI 工作的主要争论甚至不在于数学本身。真正的争议在于，纽约大学的 Tristan Buckmaster 和 Anthropic 公司的maticLevent Alpöge 向包括 OpenAI Codex 在内的 AI 模型输入的信息是否被窃取。. 

当 Tristan 第一次听说人工智能实验室投入大量计算能力攻克纳维-斯托克斯方程难题时，他直接询问实验室的研究人员，他和 Levent 的 Codex 会话是否正在被使用 。

作为一名matic，特里斯坦并没有在没有证据的情况下妄下断言，而是在一份 公开声明 ：“我不知道我们的数据是否被使用了。” 

然而，同一份文件指责 OpenAI 提出了一些“提议”，其中包括从一份将解决方案归功于 OpenAI 内部模型的公告中删除 Levent 的名字。. 

布贝克随后 反驳了这一说法，他在 X 上写道：“我从未要求将莱文特从他自己作品的作者身份中移除。” 

我想澄清几点：

1）截图是我联系Levent协调产品发布事宜的邮件。我希望邮件内容能清楚地表明，我们是怀着最好的意愿前来洽谈的。.

2）我从未要求剥夺莱文特对其作品的署名权…… pic.twitter.com/yRli0hLNuM

— Sebastien Bubeck (@SebastienBubeck) 2026年9月8日

萨姆·奥特曼也发声支持他的球队。.

“不太可能但并非不可能”这种tron成为怀疑论者的有力否认。

OpenAI 的核心辩护理由很简单：无论是其员工还是其代理，都没有看到这对搭档的提示、草稿或用户数据，他们只是在作品公开后才接触到它。. 

然而，该公司在其博客文章中补充了一句话， 莱文特本人也指出：“虽然不太可能，但我们不能排除从他们使用我们产品中获得的去标识dent数据有助于改进我们的模型。”

“我的意思是，他们能坦诚相待，值得称赞，” 莱文特发帖说。 

Tristan 的说法也让 OpenAI 的说法变得更加复杂。他说，他最初被告知结果中“几乎没有人为干预”，但在随后的通话中，他了解到整个团队都参与其中，他们先处理了更简单的问题，甚至连给他看的提示也是通过提示 Codex 生成的。. 

他将底层程序的功劳归于matic迭戈·科尔多瓦和路易斯·马丁内斯-索罗亚，而不是任何人工智能，并称这一刻是该领域的“深蓝-卡斯帕罗夫”转折点。.

Tristan并未提起任何诉讼。OpenAI 坚称 其证据与Tristan和Tristan提供的证据存在实质性差异，并且其证据的得出并未涉及任何用户数据。 

随着越来越多的研究成果通过各公司开发的竞争性研究工具的人工智能系统进行运行，更难的问题不再是谁拥有最终的成果，而是平台可以对输入其中的内容做什么，以及事后任何人如何证明其影响力。.

如果你正在阅读这篇文章，你已经领先一步了。 订阅我们的新闻简报，继续保持领先优势。