数学家公开指控OpenAI施压并威胁
数学家Tristan Buckmaster近日发布公开声明，对OpenAI提出严重指控。他与合作者Levent Alpöge利用AI模型在纳维-斯托克斯方程这一著名未解难题上取得进展，但研究信息泄露后，OpenAI被指施压、试图移除论文合作者，并发出威胁。 纳维-斯托克斯方程属于克雷千年难题，是七个基础数学问题中的一项，每个问题悬赏一百万美元。Buckmaster和Alpöge数月来使用多种AI模型，包括Anthropic的Claude和运行GPT-5.6 Sol的OpenAI Codex。到八月中旬，他们表示已取得多项突破，并认为找到了某个特定纳维-斯托克斯变体的结果，不过该结果尚未发表或经过正式验证。若证明获得认可，将对数学界和AI辅助研究产生重大影响。 信息泄露与OpenAI的紧急联系 九月初，关于重大数学突破的传闻开始流传。Buckmaster称，Alpöge得知他们的工作信息被传递给了OpenAI。9月3日，Buckmaster主动联系OpenAI的一位数学家澄清事实，强调这项工作是纯粹的个人合作，没有任何机构协议。 OpenAI当天回应，询问细节并提供计算资源。Buckmaster建议下周通话，但OpenAI不断施压。周五，对方问他能否当天通话。周日中午12点45分，对方又问他是否“今天任何时候”都有空。 两次通话中的矛盾说法 那个周日，OpenAI的Sébastien Bubeck加入对话。据Buckmaster描述，在两次电话通话中，OpenAI告诉他，一个内部模型已经生成了大约100页的带强迫项纳维-斯托克斯方程证明。 起初，OpenAI表示“几乎不需要人类输入”。但随着对话深入，情况发生了变化：一个完整团队参与了这个问题的研究，较简单的问题被用作垫脚石，并且投入了大规模计算资源。 Buckmaster指出，提到带强迫项的纳维-斯托克斯方程，表明OpenAI正在走他和Alpöge选择的同一条不寻常路线，而这条路线据他说几乎没有其他人在做。他和Alpöge在整个项目期间把所有草稿都放进了OpenAI Codex会话中。当他询问OpenAI的模型是否在这些会话上训练过或访问过这些会话时，对方称模型不会查看用户数据。当他具体问到训练问题时，对方没有给出任何回答。 OpenAI高管的公开表态 OpenAI开发者Noam Brown在Astra发布期间表示，OpenAI一直在尝试攻克千年难题，但尚未找到解决方案。他还补充说，他们并没有为此投入太多计算资源。 Buckmaster的公开声明将OpenAI的行为置于聚光灯下。从主动澄清到被反复催促通话，再到对方内部证明细节的披露，整个过程呈现出一种不对称的互动模式。数学家一方强调个人合作性质，而OpenAI方面则展现出对研究进展的强烈兴趣和快速跟进姿态。 目前，Buckmaster和Alpöge的研究结果尚未经过同行评议或正式验证。带强迫项的纳维-斯托克斯方程证明若最终成立，将是一个里程碑式成果。但围绕研究信息如何泄露、OpenAI内部模型是否接触过相关草稿等关键问题，双方说法存在明显分歧。Buckmaster称对方回避了训练数据的具体提问，这为整个事件增添了更多不确定性。 特别
