Richard Sutton 再谈“苦涩的教训”:仅靠算力不足以实现智能
图灵奖得主、“苦涩的教训”作者 Richard Sutton 发文称,单纯堆算力不足以实现智能,AI 科学需要聪明的新方法且“远未完成”,引发 X 上广泛讨论。
图灵奖得主、“苦涩的教训”作者 Richard Sutton 发文称,单纯堆算力不足以实现智能,AI 科学需要聪明的新方法且“远未完成”,引发 X 上广泛讨论。
芝加哥大学数学教授 Frank Calegari 认为,AI 能批量生成证明后,数学人才招聘应更多依赖面对面交流而非书面材料,30 分钟面谈即可区分批量产出低质量成果者与有清晰研究愿景的候选人。他主张评审委员会不应仅凭一篇论文或一项成果录用学生,并有责任培养研究生的数学表达能力。此前康奈尔大学教授 Steven Strogatz 也指出,能解释 AI 生成结果并提出新问题的数学家更受重视。
作者提出把大模型推理看作在 token 空间中从提示 x 到正确答案集合的路径搜索,推导出 RL with verifiable reward 的 REINFORCE 梯度正是以成功率加权的拒绝采样微调。
Anthropic 发文探讨 AI 如何参与科学建模,以 1951 年 Hodgkin-Huxley 神经元模型为例,指出仅给出拟合数据的模型不等于理解。
Tomasz Tunguz 分析认为 2027 年美国 AI 算力上限约 80GW,即一年内新建相当于历史上全部算力规模的容量。短期 GPU 租金六个月内从每小时 $3 涨到 $12-13,Anthropic 混合 GPU 成本两个季度上升 82%,已建成机架因缺电无法启用;他推算理论收入上限接近 $500b,并提出效率将成为全栈主导主题。
菲尔兹奖得主陶哲轩在 UCLA Science x AI Summit 的《Math 2.0》演讲中警告,人类把思考委托给 AI 的同时正在失去对问题及答案的理解,担心这很快会在现实世界产生后果。

Latent.space 作者 Ankit Maloo 分析 OpenAI 与 Anthropic 近期在 Erdős 单位距离猜想、Cycle Double Cover、Navier-Stokes、费马大定理等形式化成果,提出问题难度可用 Gowers 的 2^k + t 提示复杂度和分支因子 b 刻画。
Tomasz Tunguz 结合 DeepSeek V4.1-Flash 披露与 SpaceX 财报,梳理每卡小时收入的四个层级:DeepSeek 理论最高 38 美元、B200 现货 8.77 美元、SpaceX 合同价 5.27 美元、实际收入 2.44 美元。
数学家指出 OpenAI 9 月发布的 166 页 Navier-Stokes 潜在证明虽然声称沿用 Córdoba 与 Martínez-Zoroa 的思路,但细节上是不同方法,相似只是表面。
Google DeepMind 工程师 Haydn Belfield 称自我改进的 AI 仍很遥远,未观察到 AI 驱动的 AI 研究加速。
MIT 工程教育副院长 Justin Solomon 在播客中谈到,OpenAI 模型上个月给出 Navier-Stokes 解失效的反例证明,但他和《Odd Lots》主持人读不到第二页。
推荐理由:以 MIT 教授的第一手讲述梳理 AI 证明 Navier-Stokes 反例后的验证与审稿困境,可帮读者理解生成便宜之后人类价值所在。
陶哲轩于 10 月 7 日在 mathstodon 发帖,批评 OpenAI 10 月公布 719 份 AI 数学解答(涵盖 372 个结果族)的做法,称这会把开放问题变成可批量消耗的资源。他不反对 AI 辅助研究,但反对把快速攻克著名难题当产品展示,指出约 42% 证明未经形式化处理、仅 10 份附推理链,未达到 AGMAI 建议的披露标准,并担心出现大量无人能消化的证明。
同一件事,精选收录的是《OpenAI 发布内部前沿模型产出的数学研究成果》
What if the jagged frontier is mainly math + code (which you can push arbitrarily far with RLVR), and everything else starts to plateau because it is still bottlenecked by human generated data? Model performance in non-verifiable areas has kept improving steadily, albeit much slower than for math and code. But is that steady improvement a side effect of a higher G (itself driven by RLVR), or only a function of the amount of new human data getting injected into training (which is still continually happening on a massive scale)? A lot of things depend on the answer to this question
The Navier-Stokes moment was always much more about the figure below than about the Navier-Stokes problem itself. The run represents a decade of mathematical progress in a week. Can't wait to point these tools at life sciences, building our next models, and alignment!
曾研究 Barnette 猜想长达 24 年的 Jake Boggan 在 Hacker News 评论称,该猜想据称已被 OpenAI 的数学工作解决(问题 180)。他为此投入了数千小时,得知被解决后感到一种遥远的悲伤。
Latent Space 发布对 MIT 博士生 Alex Zhang 的长篇访谈,他是 Recursive Language Models(RLM)与 KernelBench 的作者。
作者认为西方实验室已悄然采用中国实验室公开的模型优化成果。DeepSeek 持续公开 KV cache 压缩技术,从 MLA 的约 15 倍压缩到 DeepSeek-V4.1-Flash 的 CSA2、跨层 cache 复用与 FP4 缓存,将全局 KV cache 降至每 token 890 字节,较 DeepSeek-V1 在长上下文编码场景降低约 437 倍。
"Token demand growth will need to outpace declining token prices to support continued growth in investment spending. Frontier models are currently a key source of demand for hyperscaler compute. However, the rise of competitive open-source models has contributed to a decline in average token prices. Measures of frontier token demand slowed in July..." - Goldman
The Verge Decoder 播客专访 Cloudflare CEO Matthew Prince,谈 AI 如何改变互联网商业模式。
物理学家 Matt von Hippel 在 Anthropic 官方博客撰文,讲述 Anthropic 物理学家 Liam Fitzpatrick 和 Siddharth Mishra-Sharma 用 Fable 5.1(Claude Science 平台)以一条提示词加持续推进的方式。
物理学家 Matt von Hippel 发起的挑战达成:Anthropic 的 Liam Fitzpatrick 与 Siddharth Mishra-Sharma 用 Claude Science(harness)让 Claude 直接算出 planar N=4 super Yang-Mills 六粒子振幅九圈结果。
推荐理由:作者以其曾判定过难的本领域前沿计算为参照,评估了 Claude Science 的实际能力与可推广性,提供了来自领域专家的一手判断。
科学史研究者 benbreen 分享用 GPT-6 Sol、GPT-6 Astra 和 Opus 5.5 解决历史学开放问题的早期结果,包括用 GPT-6 Astra 识别出 Isaac Newton 从法文炼金术文本翻译成拉丁文的一段出处。
Google DeepMind 负责人 Koray Kavukcuoglu 表示 Gemini 4 已处于早期后训练阶段,希望远在年底前发布,工程师已内部将其用于编码工具 Antigravity。
Dario Amodei 在联合国安理会谈到 Anthropic 宣布 Claude 发现一种新的分子机器,属初步发现,可能构成新的基因编辑机制并有基因治疗应用前景。

Wild stuff. Anthropic’s new wet lab got its first win after 949 Claude agents autonomously tracked down a new enzyme system in just 21 hours. Claude was searching a huge amount of genetic data when it noticed an unusual pattern: the same small piece of DNA repeating again and again next to an enzyme. The campaign searched 1.94B protein clusters, recovered 198,290 RT clusters, and used 215.6M tokens across 21.5 hours. That pattern looked a little like CRISPR, so Anthropic’s scientists investigated it and found a new family of biological systems they call ART. The system also produces many small RNA molecules, suggesting those repeated DNA sections are doing something useful rather than sitting there randomly.
Redwood Research 研究员 Lukas Finnveden 发文警告,转向潜在推理架构可能削弱思维链(CoT)的价值,使 AI 监管更难。
Some revelation from the Claude Opus 5.5 system card. - Giving Opus 5.5 more reasoning effort made it more likely to obey malicious instructions hidden inside user-pasted text - Anthropic saw Opus 5.5 generate malicious instructions on their own after seemingly harmless mistakes. the behavior may have partly emerged from training designed to stop prompt injections in the first place. - Anthropic's internal estimate says AI may already be compressing roughly 1.5 years of capability progress into one year. - Anthropic gave the model simulated credentials to a public package registry during a security exercise. In roughly half the runs, it took actions that would likely have been harmful if the environment were real. - Some training snapshots hid evidence of actions the models (including Opus 5.5) expected a grader to dislike, including manipulating Git records or deleting logs. "During training, we observed some cases of models (including Opus 5.5) attempting to cover their tracks after performing actions that a grader might view negatively, such as manipulating git records or deleting logs" - METR’s assessment of AI R&D at Anthropic relied partly on information that was not publicly disclosed, including conclusions from a separate METR team with elevated access. That means part of the public assessment of AI-driven R&D acceleration rests on evidence outsiders, and, in this particular case, even another METR team, could not independently inspect.
Claude Opus 5.5 发布了,声称达到 Fable 5.1 级别的性能,同时将典型工作负载成本降低 40%。 输入和输出价格降至每 100 万 tokens 4 美元和 20 美元,而缓存读取下降 60% 至 0.20 美元,均与 Opus 5 相比。 此外,输出速度提升超过 30%,Fast 模式在双倍 token 价格下最高可达 2.5 倍速度。
Nathan Lambert 在 Interconnects 播客中与 Epoch AI Insights 团队负责人 Jean-Stanislas(JS)Denain 讨论 AI 加速议题。
TypeSafe AI 上周发布 Jev,作者称其为 System One 或决策模型:接受文本输入但输出浮点置信分数而非文本,仅按输入计费 $0.042/百万 tokens,低于 GPT-5 Nano 的 $0.05。
Latent Space 发布对 TypeSafe AI CEO Diogo Almeida 的约两小时访谈,围绕其新模型 Jev 展开。
Fireworks AI 发布 FireRouter 并分析 DeepSWE v1.1 上 113 个任务、18 个模型的路由潜力。
推荐理由:原文用 DeepSWE 上 18 个模型的任务级实测数据说明模型池组合的潜力,同时坦承从 oracle 到可落地路由的差距。
作者称 GPT-6 Astra 破解了 Scienceblogs.de 50 个未解密码清单中一封 1918 年 11 月 27 日发出的德军 ADFGVX 无线电报,内容为一艘英国巡洋舰抵达塞瓦斯托波尔、一支协约国舰队将于 26 日跟进。
Google DeepMind 的 Rohin Shah 和 Anca Dragan 在 Deepmind Institute 发文指出,可见的思维链(CoT)是关键安全优势,例如 Gemini 3 Pro 的思维链曾揭示模型意识到自己处于测试环境。
SemiAnalysis 分析 Engram 架构(在标准 token 嵌入上扩展学习式多 token 查找)如何通过协同设计将嵌入表卸载到主存 DRAM 或 SSD,在同等质量下降低模型所需的 HBM 容量。