有人辟谣：AI并未解决千禧年难题Navier-Stokes，Lean证明偷换概念
gerardsans · x · 2026-10-09
@gerardsans 引用 @serdardirican 的土耳其语推文并提醒关注：所谓"AI 解决了千禧年难题 Navier-Stokes"的说法已被证伪。据该论文，他们用 Lean 形式化证明的东西与 Navier-Stokes 并非同一命题，是 AI 做的一个小把戏。发帖人希望提醒那些宣称"AI 攻克千禧年难题"的人。
「研究」频道最新
- 亚琛工大开源 ARROW：任意 RGB 输入统一 3D 重建与点跟踪，刷新 SOTA — kwangmoo_yi · 2026-10-09
- HAIPS 2026 明日在 COLM 举行，隐私安全学者云集 — tianshi_li · 2026-10-09
- 用广义均值收紧贝叶斯误差的 Bhattacharyya 与 Chernoff 上界 — FrnkNlsn · 2026-10-09
- PAMI 框架：部件锚定让文生人物交互动作接触精度提升 14.5% — _akhaliq · 2026-10-09
- 研究揭示 LLM 当「新颖性评审」极不稳定,判定结果随设计选择剧烈波动 — _akhaliq · 2026-10-09
- 谷歌 AMIE 登上《柳叶刀》:真实门诊诊断与医生一致率达 90% — sundarpichai · 2026-10-09