Buckmaster 或破 Navier-Stokes 难题,OpenAI 模型称已证 100 页 blowup 证明
FateOfMuffins · reddit · 2026-09-08
Reddit 热帖讨论数学家 Tristan Buckmaster 与 Levent Alpoge 可能取得 Navier-Stokes 方程的重大突破,Terence Tao 也在 Mastodon 上跟进评论。
- Tao 评价:现有方法"原则上没有障碍"可以一路推广到完整 Navier-Stokes 问题,甚至有不可忽视的机会完全消去强迫项;但实现该纲领会带来大量技术困难
- 同时牵出 OpenAI 数学团队的 drama:他们声称内部模型已产出一个约 100 页的"受迫 Navier-Stokes 方程有限时间 blowup"证明,引发争议
- 若成立,将是千禧年大奖难题级别的进展
所属事件:传OpenAI已攻克纳维-斯托克斯千禧年难题(18 条相关)→
「研究」频道最新
- EmbodiedSkills:统一编排、训练与部署 VLA 机器人技能的框架 — Wei Wang · 2026-09-08
- On-Policy 自蒸馏的批判性综述:一个症状,三个杠杆 — OVHaiLLM · 2026-09-08
- 流体正则性问题进展神速:Tao 称光滑解证明或已可行 — basedjensen · 2026-09-08
- Anima 团队用 PINN 找到 3D Euler 方程首个稳定奇点 — basedjensen · 2026-09-08
- CIRPIN 用循环置换训练 GNN，识破蛋白质结构搜索的位置盲区 — bravo_abad · 2026-09-08
- 日本推出 JapanFold:8 个开源生物学 AI 模型免费供国内研究者使用 — DavidBennett__ · 2026-09-08