传 AI 公司被 Navier-Stokes 证明的恶评吓到，捂着重大数学成果不发
RexDouglass · x · 2026-09-16
RexDouglass 引用 Aaronson 博文中的一段话并调侃：据传 AI 公司在 Navier-Stokes 证明遭遇数学界敌意回应后，现在把一些「非常重大的问题」的解答捂在手里，等想清楚更好的发布方式再说。原帖附上 Aaronson《The Age of Wonders and Terrors》全文链接，该文回顾了 AI 从 AlphaGo 到推理智能体一路应验的「狂野预言」。
转发者补充调侃：数学家们正在同时霸凌 AI 实验室和本科生，不让他们乱做数学题。传闻本身未经证实。
所属事件:Aaronson 爆料：AI 实验室因 Navier-Stokes 风波捂住重大数学成果(11 条相关)→
「模型」频道最新
- 同一个任务两种「质感」：RL 过拟合模型与通用智能的手感差异 — theteknosaur · 2026-11-02
- LightOnOCR-3 发布：单一模型搞定转录、版面与图表解析 — IgorCarron · 2026-11-02
- NVIDIA Kumo 家族拆解：四款表格基础模型各管一类结构化数据 — pandeyparul · 2026-11-02
- SemiAnalysis：选模型别忽视安全分类器，Meta 网络安全模型居首 — ThomasScialom · 2026-11-02
- Reddit 用户盛赞 DeepSeek V4.1 Flash 1017：快、稳、便宜到可弃闭源模型 — _bachrc · 2026-11-02
- 本地量化模型对决 Claude：9 个真实 bug 修复实测，量化掉分更掉时间 — FeydRowan · 2026-11-02