AI 数学怀疑派：纳维-斯托克斯证明其实没那么惊艳
RokoMijic · x · 2026-09-09
针对 OpenAI 宣布 agent 证明纳维-斯托克斯难题，Roko Mijic 提出冷静反驳：这个结果真没那么令人印象深刻。
- 他认为这符合一个固定模式：AI 擅长基于已知策略、靠大量细节堆出的「费力反例」
- 这类工作是人类不擅长但 AI 能穷举的低垂果实，而非真正突破
- 与 jessicata 的后续讨论中他还预测：若 AI 近期解决 P vs NP，大概率是「P=NP 且算法极丑」，靠绕开三个已证明障碍中的两个
所属事件:OpenAI 宣布求解纳维-斯托克斯难题，署名与验证争议发酵(491 条相关)→
「漫话AGI」频道最新
- 研究员批AI安全界混淆风险叙事：错误恐惧正在毁掉公众想象力 — Dr_Atoosa · 2026-09-11
- 安全从业者反思:廉价化的「AI 灭绝风险」话语如何毁掉公众想象力 — Dr_Atoosa · 2026-09-11
- 技术假说:ASI 会因数学激励而永久保护人类多样性 — No_Cause_2731 · 2026-09-11
- 博客提出:Scaling Laws 的根源在数据结构而非模型架构 — gleech · 2026-09-11
- AI 末日论甚嚣尘上,Reddit 求乐观共存的反方论证 — joshlove182 · 2026-09-11
- BlackHC:当前模型 x-risk 低,但不改变路径几年内风险会大增 — BlackHC · 2026-09-11