OpenAI新模型攻克纳维-斯托克斯方程
推荐指数 54.0 NO. 019 · 2026.09.22
发布2026/09/21Score60Comments47
为什么值得看
OpenAI于8月28日开始训练内部新模型,已解决纳维-斯托克斯千禧年难题及100多个数学领域长期未解问题。数学突破速度超出内部预期,团队正讨论如何向外界披露进展以让学界适应。
编辑判断
纳维-斯托克斯方程的解的存在性与光滑性是七个千禧年大奖难题之一,此前陶哲轩等数学家认为短期内AI无法触及。如果属实,这意味着AI在形式化推理和符号操作上的能力发生了质变,而非仅仅是模式匹配。
对AI工程师而言,需要警惕的是:OpenAI选择"内部讨论如何披露"而非直接发论文,这种信息不对称可能是战略性的。做数学AI、自动定理证明、科学计算的团队应该立刻重新审视自己的技术路线假设,同时关注OpenAI是否会在未来几个月放出可验证的证明细节或工具化产品。
社区反馈
意见分歧 43 条评论
核心争论:AI攻克数学难题是范式革命还是炒作,人类研究者价值何在
https://agmai.org/
> This group came together after OpenAI approached some of its members about establishing an external advisory board. In agreement with OpenAI, they decided to create an independent group and invite others to join. More like these are the people who didn't refuse
It's fine to refuse, but cry to yourself later when OAI ignores you. Kinda like people that don't vote because the system doesn't work anyway, then complains when it gets worse.