近期事件时间线:从协作到Navier-Stokes方程的解决
摘要
从2025年到2026年事件的时间线,详细描述了合作与竞争的努力,以解决Navier-Stokes方程,最终以OpenAI宣布使用AI模型解决该问题而告终。
2025年9月19日 - Levent Alpöge 通过电子邮件联系 Tristan Buckmaster,建议在Navier-Stokes方程上合作。
2025-2026年 - Alpöge 和 Buckmaster 在Navier-Stokes方程及其相关问题上取得了“缓慢”的进展。
2026年8月15日 - 两人取得了关键成果,解决了Boussinesq和Euler方程,这是通往Navier-Stokes的重要垫脚石。
2026年8月22日 - 两人完成了对这些结果的Lean验证,并“夜以继日”地工作以创建论文准备发表。
2026年9月1日 - OpenAI 在听到进展谣言后,使用未发布的模型尝试解决Navier-Stokes方程和所有其他Millennium Prize问题。
2026年9月3日(估计)- OpenAI 找到了非受迫Euler方程的解,这是更一般和通用的情况。
2026年9月3日 - Buckmaster 在得知他们的突破谣言传到公司后,通过电子邮件联系了OpenAI的未具名数学家。
2026年9月3日 - 未具名数学家回复并请求具体信息,同时提供计算资源;Buckmaster 推迟了会议。
2026年9月4日 - Buckmaster 再次被要求当天与OpenAI会面。
2026年9月4日 - 那天晚上,网上帖子声称 Anthropic 已经解决了Navier-Stokes方程,并将在IPO前发布,帖子声称这是从OpenAI人员那里听说的。
2026年9月5日 - Reddit上的帖子推测 Terence Tao 指的是Navier-Stokes方程已经看到了解,导致他否认。
2026年9月5日 - OpenAI的代理找到了Navier-Stokes方程的解。
2026年9月6日 - OpenAI 实现了对其结果的正式Lean验证,并要求当天会面。Buckmaster 和 OpenAI 当天进行了两次通话。Buckmaster、Sébastien Bubeck 和未具名数学家参加;Alpöge 未参加。OpenAI 披露了他们的Navier-Stokes方程解,并表示他们相信 Alpöge 和 Buckmaster 也找到了解。OpenAI 提议延迟他们的宣布一天,以便 Alpöge-Buckmaster 的Euler方程解可以先发表。Buckmaster 表示他们还建议他加入他们的Navier-Stokes论文撰写,并从作者中移除 Alpöge。
2026年9月7日 - Buckmaster 在网上发布,分享了三篇论文,包括受迫Euler解和一份详细说明这些事件的声明。声明还包括他的信念,即他和 Alpöge 发现了未验证的亚耗散Navier-Stokes解,他们可能正处于非受迫Euler解的道路上。
2026年9月7日 - Adarsh Ganeshram、Valentin Duruisseaux 和 Anima Anandkumar 以不同方法发布了非受迫Euler问题的解,仅在发表后才知道 Alpöge-Buckmaster 的工作。
2026年9月7日 - 同样在那天晚上,许多帖子流传声称 OpenAI 已经实现了Navier-Stokes方程的解。
2026年9月7日 - Tao 发布祝贺两人在受迫Euler方面的成果,并建议他们的研究路线可能导致Navier-Stokes方程的解,甚至可能是非受迫版本,而不知道OpenAI已经找到了解。
2026年9月8日 - OpenAI 宣布解决了受迫Navier-Stokes和非受迫Euler方程,并表示他们无意为此领取奖金。
相似文章
OpenAI的Bel模型,用于求解Navier-Stokes方程,现现身于AI 2027时间线
OpenAI的Bel模型具备解决Navier-Stokes方程的能力,在一个AI 2027时间线中被突出展示,预示着它在未来AI发展中的潜在角色。
Navier-Stokes千禧年大奖问题的解决方案
OpenAI宣布使用一个先进的内部AI模型解决了Navier-Stokes千禧年大奖问题,证明光滑的三维流体运动可以在有限时间内产生奇点。
所以……OpenAI真的解决了纳维-斯托克斯方程问题吗?
OpenAI 声称利用 AI 代理生成了一个证明,表明在纳维-斯托克斯方程中可能形成奇点。本文探讨了其对 AI 驱动数学研究及未来科学方法的影响。
@gdb:宣布解决了Navier-Stokes问题,这是七个千禧年大奖难题之一。这代表了一个重大里程碑…
宣布使用OpenAI的下一代AI模型解决了Navier-Stokes千禧年大奖难题,这代表了AI和数学的一个重大里程碑。
数学余波
OpenAI 宣布了一个由AI生成的 Navier-Stokes 存在性和光滑性问题的解,引发了关于AI在数学中的作用以及数学是否仅仅关于问题解决的辩论。