AI 数学怀疑派：纳维-斯托克斯证明其实没那么惊艳
RokoMijic · x · 2026-09-09
针对 OpenAI 宣布 agent 证明纳维-斯托克斯难题，Roko Mijic 提出冷静反驳：这个结果真没那么令人印象深刻。
- 他认为这符合一个固定模式：AI 擅长基于已知策略、靠大量细节堆出的「费力反例」
- 这类工作是人类不擅长但 AI 能穷举的低垂果实，而非真正突破
- 与 jessicata 的后续讨论中他还预测：若 AI 近期解决 P vs NP，大概率是「P=NP 且算法极丑」，靠绕开三个已证明障碍中的两个
所属事件:OpenAI 宣布求解纳维-斯托克斯难题，署名与验证争议发酵(491 条相关)→
「漫话AGI」频道最新
- 教授忠告计算机学生：求职别隐瞒 AI 使用，要主动展示 — lemire · 2026-10-26
- 工程师视角:AI 降低工程成本后,哪些项目才值得接? — burhop · 2026-10-26
- 网友畅想 FixItBench：AI 机器人修扫描电镜，中美模型同台比价 — teortaxesTex · 2026-10-26
- 教授建议同行：把所有教学素材先存下来，将来用 AI 处理 — prof_g · 2026-10-26
- Jason Furman 测算：无 AI 造 Econvitals 需 50 人三年烧 2000 万美元 — HarrySurden · 2026-10-26
- 《沙丘》60 年前神预言：把思考交给机器的人终被奴役 — umeshonai · 2026-10-26