Roon 暗示 post-Astra 模型解决纳维-斯托克斯问题

有消息称，AI 公司因 Navier-Stokes 证明引发数学界敌意反应，正搁置部分重大问题的解法，等待更好的处理方式。Haider 批评部分数学家的反对"自私且可悲"，认为 AI 公司不应因此退缩，并反问解决所有千禧年难题并不会让数学消失。

有说法称 OpenAI 因担心舆论反弹，已搁置多个千禧年数学难题的证明结果，roon 也在暗示此事。引用推文称，自 ICM 以来 OpenAI 手中握有"数百"项成果证明，部分可能短期内不会发布；若真有重大突破，应在拿到结果时就公布，而非拖延。

chatgpt 于 2022 年底发布 现在已是 2026 年末，进展仍未放缓 算力和收入大幅扩张，模型持续进步 不知道 3 年后我们会怎么称呼它们，但再沿这条轨迹走 3 年，会越来越像 AGI

OpenAI 研究科学家 Noam Brown： "当前模型在研究品味方面仍然很差，但如果再过一两次模型发布，它们在这方面也超过我，我不会感到意外" 目前，我认为仍存在明显差距。

要么是 Anthropic，要么是 OpenAI，正处在闭环 RSI 的边缘 两者很可能都看到了这条显而易见的路径，并在新前沿之前停了下来，而技术、资金和专业知识都已具备 所以我认为，它们无法继续按原来的方式走下去，否则就会触发 RSI，并可能引发智能爆炸

OpenAI 总裁 Greg Brockman： "我认为 AI 技术的核心其实是算力的进步" 为什么 AI 偏偏出现在现在？Ray Kurzweil 早在上世纪 90 年代末就仅凭算力增长预测到了这一时刻--并表示这正是能够构建 AGI 的节点。

Dario 被狠狠地 mog 了，而且活该 阻碍技术进步很愚蠢，尤其是当这项技术有可能治愈致命疾病或推动重大科学与工程突破的时候 我觉得末日派/减速派现在彻底完蛋了

Sam Altman 发文称 pacing 不等于 stopping，进展迅速但应比原本更慢，安全案例和监控成本值得付出；OpenAI 已在预期显著提升能力的前沿强化学习运行前制定明确安全案例，并欢迎联邦框架与国际协调。作者认为这暗示递归自我改进（RSI）开始显现成果。

作者认为在 Navier-Stokes 证明之后局势几乎一夜之间发生变化，25 位菲尔兹奖得主（包括 Terence Tao）已联署公开信，对 AI 在数学中的应用表达担忧。他猜测可能正在酝酿更大的事，并担心 OpenAI 随时会面临放慢发展的压力。

6 个月前，我还以为 AGI 还差很多个版本 像 opus 4.6 和 5.6 sol 这样的模型已经不错，但还不够好。有了 astra、mythos，以及 OpenAI 那个解决了 navier-stokes 的内部模型，我觉得我们已经不那么远了 即使 scaling 今天停止，更好的微调和 harness 也能让下一个模型达到 80-90% 的程度