研究者断言:比 Navier-Stokes 简单的数学问题都应视为可解
finbarrtimbers · x · 2026-09-09
针对 OpenAI 宣布其下一代模型以 agent 群组方式给出 Navier-Stokes 千禧年大奖难题的证明,AI 研究者 Finbarr Timbers 放出大胆判断:所有比 Navier-Stokes 更简单的数学问题,现在都应被视为可解。这一定调把该突破视为数学研究范式的分水岭。
「漫话AGI」频道最新
- MIT 春季到秋季:AI 从解不出开放题到拿下千禧年难题 — FlorianGallwitz · 2026-09-09
- Gary Marcus 反驳黄仁勋：GPT-6 是 AGI 的说法历史重演而已 — GaryMarcus · 2026-09-09
- 评论者补充：新模型也不会因安全担忧不同，拖延照旧 — Darpinian · 2026-09-09
- 评论者称安全担忧多为「狼来了」：实验室没必要拖延数月发布模型 — Darpinian · 2026-09-09
- Chamath 宣称「奇点已至」却在大规模招人，被网友一句反杀 — GarrisonLovely · 2026-09-09
- 把 AI 带进淋浴间：她试过之后决定划出「无 AI 区」 — alliekmiller · 2026-09-09