数学界大地震！数学家靠AI攻破世纪难题，却引爆OpenAI商战抓马？

纽约大学数学家 Tristan Buckmaster 刚发了一份长篇公开信，信息量巨大，我用大白话帮大家整理好了关键脉络

💡1. 发生了什么？人类数学史的“深蓝时刻”
数学家 Tristan 和合作者 Levent，借助多个大语言模型（Claude、Codex、GPT 等），仅仅用了一个月时间，就攻破了流体力学领域的多个世界级难题！
Tristan 直言：这原本是需要耗费人类数年甚至数十年的工作，如今在人机协同下被神速解决。

🌊2. 他们到底证明了什么？（极简科普）
* 研究对象： 描述水、空气等流体运动的方程（如三维欧拉方程、著名的 Navier-Stokes 方程）。
* 千禧难题： 2000年克雷数学研究所悬赏 100 万美元的“七大千禧年难题”之一，核心就是探究：水流在光滑流动时，速度会不会在某一瞬间飙到无穷大（即“爆破”）？
* 他们的突破： 证明了在加了光滑外力的情况下，流体会发生“爆破”。虽然还没拿到最终那100万美金的无外力版本，但这已经是极其关键的历史性跨越！
* 保真度拉满： 他们的证明直接通过了 Lean（机器形式化证明验证），意味着逻辑被计算机死死核验过，绝对保真，绝非空穴来风。

🥊3. 抓马核心：遭遇 OpenAI 截胡与霸凌？
原本是科技向善的佳话，结果画风突变，演变成一场现实版商战：
* 泄密与抢跑： 消息传开后，OpenAI 突然火速介入，拿出内部模型在短短几天内疯狂堆算力赶工出的近百页证明，试图抢先发表。其解题路线与两人的秘密路线高度重合。
* 要求踢掉合作者： OpenAI 提出方案，甚至明确要求 Tristan “把合作者 Levent 从署名中踢掉”，理由极其离谱——因为 Levent 的本职工作在竞品公司 Anthropic，“他在那上班太烦人了”。
* 言语施压： 当 Tristan 拒绝方案并表示要公开真相时，对方甚至反问：“你为什么要毁掉自己的学术生涯？”并施压称自己“也可以不友善”。

你有被这次的 AI 进展震撼到吗？你觉得学术成果该归算力巨头还是人类学者？
#科技前沿 #人工智能 #OpenAI #陶哲轩 #数学 #数学家 #ChatGPT #学术伦理 #Anthropic #硬核科普