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 宣布求解纳维-斯托克斯难题，署名与验证争议发酵(491 条相关)→
「研究」频道最新
- MissionReport 基准：540 份政府任务报告仅 3 份全达标 — Exp_Mark · 2026-10-27
- Skyfall AI 推出工程世界模型 SKY-001:文本转 CAD 构建,3.9 秒 vs GPT-6 的 199 秒 — rohanpaul_ai · 2026-10-27
- 物理学家让 AI 自选课题：两小时产出可登顶刊的论文 — burny_tech · 2026-10-27
- 研究者谈评测集透明度:组合性评测仍存数据污染隐患 — najoungkim · 2026-10-27
- 可解释性研究该分清形式与估计器：均值差转向不如直接梯度下降 — johnhewtt · 2026-10-27
- EMNLP 论文：让 LLM 换个问法，「42」变「3」但蝴蝶仍是帝王蝶 — radamihalcea · 2026-10-27