2026年9月8日,OpenAI宣布它的AI解决了一道数学难题。这道题叫"纳维—斯托克斯存在与光滑性问题",研究流体运动的方程,是克雷数学研究所2000年公布的七道"千禧年大奖难题"之一,每题悬赏100万美元,此前只有一道被解决过。
同一天,纽约大学数学家Tristan Buckmaster发布了一份公开声明。他说,过去一年,他和另一位数学家Levent Alpöge一直在研究同一族问题。两人使用的工具,包括OpenAI的产品Codex。他们把研究草稿存在Codex里,让AI帮忙推理和核对。
Buckmaster在声明中说,OpenAI是在听说了他们的进展之后,才集中力量攻克这道题的。他还说,在两人发表之前,OpenAI数学负责人Sébastien Bubeck在电话中提出了一套发布安排,其中包括把Alpöge从署名中移除,理由是Alpöge的雇主Anthropic是OpenAI的竞争对手。
菲尔兹奖得主、加州大学洛杉矶分校数学家陶哲轩,被广泛认为是在世最杰出的数学家之一。他9月7日在博客中评价,从Buckmaster和Alpöge的欧拉结果推进到纳维—斯托克斯,他没有看到根本性障碍。他称两人的工作是"杰出成就"。
两人使用了Anthropic的Claude和OpenAI的Codex。Codex是一个可以调用模型、运行代码、完成任务的产品。他们尤其依赖一个叫GPT-5.6 Sol的模型做数学推理,后来也用了更新的GPT-6 Astra帮忙写稿和核对论证。费用由Buckmaster的研究经费支付。
据《The Information》报道,字节跳动创始人张一鸣在会上罕见开口,明确表态:字节跳动不会把蒸馏当作提升AI模型能力的捷径,即便这意味着公司眼下落后于国内竞争对手。
012-2024年11月3日《泡沫迟早要破一次》
013-2025年1月22日《童话里都是骗人的》(阵亡)