假设 AI 解决了纳维-斯托克斯方程，下一个好问题在哪？
tak3sh8 · x · 2026-09-08
tak3sh8 在与 qberthet 讨论陶哲轩关于 AI 与数学的观点时追问：假如 AI 解决了纳维-斯托克斯方程，留下一大堆 Lean 形式化证明，下一个有趣的问题是什么？借此质疑 AI 求解难题后能否自然延续数学研究脉络。
所属事件:陶哲轩警告：AI 抢发或侵蚀数学与开放科学(18 条相关)→
「漫话AGI」频道最新
- 读懂AI意识之争:先分清对方站在哪种立场 — msharmas · 2026-10-27
- iPhone 新壳狂揽 8.5 万条评价：丰饶时代的万物皆假 — tekbog · 2026-10-27
- dunkhippo33 开聊:AI 时代该如何养育孩子 — kimmonismus · 2026-10-27
- AI 教育者：电工科班训练教我的系统瓶颈思维不会过时 — dunkhippo33 · 2026-10-27
- AI 学者谈美国教育：从小学到高中的演讲训练是 pitching 强的根源 — dunkhippo33 · 2026-10-27
- 当 agent 遇上反爬虫：一半网站直接把 AI 关在门外 — XFreeze · 2026-10-27