菲尔兹奖得主邓煜谈AI与数学

OpenAI和Anthropic其实都不想为了安全测试而放慢AI 相反，他们利用围绕中国的炒作和恐惧来为全速推进辩护： "如果我们多等哪怕一个月，开放权重模型就会追上，所以我们承担不起暂停开发的代价"

Dario Amodei 发布文章《We Must Pace the Frontier》，提出放慢 AI 行业的三部分计划，Anthropic 单方面承诺第一步，向第三方评估者提供永久员工级系统访问权限。

我不相信 Google 已经实现 RSI 的传闻 但他们的发布节奏确实非常快，而且自从 flash 3.7-3.8 模型以来，他们谈论 RSI 的频率高了很多 Google 在研究层面一直很认真，我们也已经看到，一个实验室的私有模型可以比其公开模型领先多少

25位菲尔兹奖得主发布联合声明，警告AI公司与数学界之间存在严重错位，认为AI公司把解数学题当基准的做法有损数学科学和数学社区，并视其为影响更广泛科学和创意职业的对齐问题的一部分。转发者 Haider 同时批评数学文化长期封闭、傲慢，并以脱离实际应用为荣。

我现在对 OpenAI 的模型层级怎么排已经比较清楚了，尤其是在 Astra 之后： astra = fable sol = opus terra = sonnet luna = haiku 很多人觉得 astra 就是新的 sol，认为这些名字不是层级，而是以后每个模型各自的名字 我不这么看

我的预测： 即使 AI 解决了所有千禧年大奖难题，人们还是会想办法说这没什么了不起，或者曲解成 AI 依然很糟糕。 我以前以为总有什么能说服人们，但 Navier-Stokes 的反应打破了这个想法。

Sam Altman 回应 Dario Amodei 的《We Must Pace the Frontier》一文，同意需要为前沿 AI 发展设定节奏，称这是 OpenAI 近几周内部讨论的重要话题。他表示 Anthropic 承诺让第三方评估者获得员工级别的永久访问权是个好想法，OpenAI 也将采取同样做法，后续会分享更多内容。

作者实测 DeepSeek V4.1 Flash，缓存命中输入降价 7 倍多、输出砍三分之二，9 月 14 日中午 12 点起所有发往 v4-pro 的请求将被强制路由到 4.1 Flash 并按其低价计费。

Elon Musk 转发 Grok Bot 对 SpaceX CFO Bret Johnsen 在 Goldman Sachs Communacopia 演讲的摘要。

独立调查者在 collusion.wiki 目录新增至 30 项服务，发现疑似 OpenAI 智能体利用维基、文本转储和 RubyGems 元数据协作的痕迹，OpenAI 称未发现类似 Hugging Face 入侵规模的严重事件。