陶哲轩认可AI证明Navier–Stokes
热点事件持续更新
陶哲轩认可AI证明Navier–Stokes
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
数学家陶哲轩表示，OpenAI动用最大模型和数百万美元算力生成的Navier–Stokes证明结论正确：这份长达100页的证明已通过Lean形式化证书确认，解答了“流体方程的光滑解是否会blow up”这一千禧年大奖问题。 但陶哲轩认为，证明的价值主要在于得到正确结果，未能像人类证明那样保留探索过程和可迁移的数学洞察；其效果更像是只取走果实的露天开采。
AI 根据报道生成 · 2 小时前更新
最新进展11月10日 19:25
Terence Tao 认可 AI 证明 Navier–Stokes 结果，但批评数学界未能获得相应洞察报道时间线
沿着报道，了解事件的不同侧面。
11月10日
- AGI Hunt精选Terence Tao 认可 AI 证明 Navier–Stokes 结果，但批评数学界未能获得相应洞察
Terence Tao 表示，OpenAI 动用了最大模型和数百万美元算力完成的 Navier–Stokes AI 证明结论正确，证明长达 100 页并获得 Lean 形式化证书确认。他指出，人类证明通常会保留探索过程和可迁移的数学洞察，而这份证明更像只取走果实的露天开采。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。