目前结论
OpenAI宣布，其内部AI模型以约一万个智能体协同工作88小时，生成了一个经过Lean验证的证明，表明纳维-斯托克斯流体方程可以发生爆破。就在数小时前，纽约大学数学家Tristan Buckmaster指责OpenAI试图为他与Anthropic研究员Levent Alpöge已完成的成果抢占优先权。 纳维-斯托克斯问题是克莱数学研究所七个千禧年大奖难题之一，每个奖金为100万美元，因此经过验证的爆破证明将是数学领域的里程碑，也是AI在形式推理方面的惊人展示。优先权之争还引发了对科研伦理以及AI实验室在激烈竞争环境中如何处理未发表工作的重要拷问。 Buckmaster声称，他在9月将未发表证明的细节告知了一位OpenAI数学家，此后OpenAI的Sébastien Bubeck先提出协调发表，但随后又施压，并提到OpenAI内部已完成一份100页的强制纳维-斯托克斯爆破证明。OpenAI、Bubeck和Sam Altman均否认指控，Bubeck还公开了短信记录，称这些消息表明他曾真诚提议进行协调发布。
进展时间线
1 次实质进展- #01
OpenAI宣称破解纳维-斯托克斯问题，对手数学家质疑成果归属
OpenAI宣布，其内部AI模型以约一万个智能体协同工作88小时，生成了一个经过Lean验证的证明，表明纳维-斯托克斯流体方程可以发生爆破。就在数小时前，纽约大学数学家Tristan Buckmaster指责OpenAI试图为他与Anthropic研究员Levent Alpöge已完成的成果抢占优先权。 纳维-斯托克斯问题是克莱数学研究所七个千禧年大奖难题之一，每个奖金为100万美元，因此经过验证的爆破证明将是数学领域的里程碑，也是AI在形式推理方面的惊人展示。优先权之争还引发了对科研伦理以及AI实验室在激烈竞争环境中如何处理未发表工作的重要拷问。 Buckmaster声称，他在9月将未发表证明的细节告知了一位OpenAI数学家，此后OpenAI的Sébastien Bubeck先提出协调发表，但随后又施压，并提到OpenAI内部已完成一份100页的强制纳维-斯托克斯爆破证明。OpenAI、Bubeck和Sam Altman均否认指控，Bubeck还公开了短信记录，称这些消息表明他曾真诚提议进行协调发布。
来源依据：Decrypt