Thomas Wolf：手写代码时代落幕，软件工程师转向指挥智能

这很重要 【引用 @niketnpatel】："事实的堆积之于科学，正如石堆之于房屋。"--庞加莱 LLM 如今正在证明那些困扰数学家数十年的结果。在没有人类引导的情况下找到有趣的定理，是一个新的瓶颈。我们展示了可以教会 LLM 做到这一点！ TL；DR： → 一个可量化的"有趣度"概念 → 有趣度提升 4.3× → 一个自我扩展的发现循环 【1/5】

好吧，什么鬼。刚才这还只是一份干巴巴的 Google Doc 我把我的 Open Alignment 头脑风暴 gdoc 给了 Opus 5.5，让它做个视频。现在我想把我写过的每一份文档都做成视频哈哈哈

Hugging Face 联创 Thomas Wolf 认为，智能价格持续下降可能是宇宙历史尺度上最深刻的事件之一。他引用 Epoch AI 数据：自 2023 年以来，同等性能下 AI 成本每季度下降约 47%，比 DNA 测序快 4 倍、比算力快 6 倍、比锂电池快 18 倍、比电力（至 1973 年）快 54 倍。

很高兴开始看到更多具备防御能力的开放权重安全模型，性能接近前沿水平 Aikido 的 altar-1 是开放 SOTA 的 GLM 5.3 经过剪枝和量化的版本，轻量到足以在单个 4-H200s 节点上运行

提议把"解决对齐" sneak in 千禧年难题

各大实验室彼此隔离，但研究人员过热后跳槽到另一个实验室，信息仍在交换 信息的小颗粒在空中流动

迭代机器人头部

@wtgowers 发了一篇平衡的博文，谈当今 AI 世界中数学领域面临的挑战--激励机制、存在的理由以及未来。 【引用 @wtgowers】：我写了一篇博文，回应 25 位菲尔兹奖得主签署的关于数学与 AI 的公开信。和《莱顿宣言》一样，我没有签署，但我认同其中大部分内容，也乐见它的存在。 https://gowers.wordpress.com/2026/09/17/why-i-didnt-sign-the-fields-medallists-letter/

microduck 美国预订量--一如既往，在旧金山你能最先看到未来

Hugging Face 联合创始人 Thomas Wolf 宣布与 Baseten 旗下 Baselabs 及 GoodfireAI 合作，推进开源模型的安全与可解释性研究。合作方将把安全研究直接构建进 Baseten 的推理基础设施，包括训练模型遵循明确策略、运行时检测故障，并将信号接入可干预的控制机制，目标向所有客户开放。Wolf 强调开源与安全部署并不矛盾，正如 Linux 所证明的那样。