假设 AI 解决了纳维-斯托克斯方程，下一个好问题在哪？
tak3sh8 · x · 2026-09-08
tak3sh8 在与 qberthet 讨论陶哲轩关于 AI 与数学的观点时追问：假如 AI 解决了纳维-斯托克斯方程，留下一大堆 Lean 形式化证明，下一个有趣的问题是什么？借此质疑 AI 求解难题后能否自然延续数学研究脉络。
所属事件:陶哲轩称AI攻克数学难题或反噬领域发展，引热议(4 条相关)→
「漫话AGI」频道最新
- AI2027 情景推演更新,新增 Astra 篇章 — Oriuke · 2026-09-08
- 研究者质疑scaling万能论：基准趋势≠感知与推理的普适原理 — GeorgiaChal · 2026-09-08
- Navier-Stokes 千禧难题若被 AI 攻克，将意味着什么 — kimmonismus · 2026-09-08
- 博主断言：你最后一次真正必要的工作，就在 2026 年 — rand_longevity · 2026-09-08
- Noam Brown 连发推暗示重大进展将至,社区猜测纷纷 — socoolandawesome · 2026-09-08
- 数学家吐槽：AI 圈把解题变成无意义的奖杯狩猎 — tak3sh8 · 2026-09-08