纽约大学数学家 Tristan Buckmaster 披露，OpenAI 一款内部模型据称已就纳维-斯托克斯方程外力驱动情形给出约 100 页证明，目标指向千禧年难题的一条官方允许路线。Buckmaster 同时与 Levent Alpöge 公布了在 LLM 帮助下完成的三类流体方程有限时间爆破结果，并上线论文与 Lean 形式化代码。围绕 OpenAI 结果的来源、训练是否涉及用户数据，以及署名安排，Buckmaster 还公开了与 OpenAI 的沟通经过。

文章回顾了江上舟在上海推动集成电路和商用大飞机两大产业布局的经历。他在担任上海市经委副主任后主张大力发展芯片产业，推动张江微电子开发区规划，引入张汝京创办中芯国际，并邀请尹志尧在张江创办中微公司。此后，他又参与推动“大飞机”列入国家重大专项。2011年江上舟因病去世，未能看到其推动项目的后续成果落地。

谷歌DeepMind利用图神经网络与物理信息神经网络，在纳维-斯托克斯方程研究中发现可验证的新解，显示AI正从计算工具迈向科学发现伙伴。

谷歌DeepMind利用图神经网络研究纳维-斯托克斯方程，发现一类可被数学证明的新解，显示AI正从计算工具走向基础科学研究中的“发现伙伴”。