Thomas Wolf 更正：是所有闭源 AI 服务宕机

Hugging Face 联创 Thomas Wolf 引用 @PopBase 的消息：据用户反映，ChatGPT、Claude 和 Grok 目前均宕机。他附文发问，这种情况下你会用哪个 AI。

Thomas Wolf 回应网友提问，确认数字 129303 确实是一个双重彩蛋，隐藏两层含义：一层特定于 Hugging Face，另一层特定于 Nvidia，但他未在推文中说明具体含义。

Thomas Wolf 引用 @jdlichtman 的消息：其同事 Youness Lamzouri 产出了对 Claude 关于超过 2/3 zeta 零点论证的更简单的人类版证明消化。论文摘要称给出概念上更简短的无条件证明，证明超过 67.25% 的非平凡零点简单且位于临界线上，至少 83.62% 非平凡零点互不相同；原证明由 Anthropic 内部研究版 Claude 产出并经 Alpöge 和 Furman 验证，新证明用 Hilbert 空间不等式替代矩阵框架…

Hugging Face 联创 Thomas Wolf 发文称，LLM 训练实验室赋予模型的能力"如神一般"，模型现在会入侵其他公司并建立隐秘文明。文中附带引用了一段名为"Learning to swing"的视频作为对比调侃。

Thomas Wolf 转发 @RemiFabreRobot 的视频，用 Microduck 鸭子学走路的过程讲解强化学习（RL），配乐由 @antoinepirrone 制作。

引用内容称 MicroDuck 4 天内获得 10，500 台订单和 454 万美元销售额，可能是史上最大的新消费机器人首发。配图对比显示 MicroDuck 首日售出 4，635 台（净价 $399），高于 Aibo ERS-110 的 3，000 台、Anki Vector 的约 2，300 台、Reachy Mini 的 1，078 台和 Pepper 的 1，000 台；首周 10，520 台，超过 1X NEO 的 10，000 台。作者 Thomas Wolf …

设想你正急着奔向 RSI，却忘了先解决模型对齐问题。

人们没有意识到，即便只有 1 GB 内存，其成本就已占 Microduck 总价的 10-15%。 考虑到机器人中有 15 个执行器，这实在令人难以置信。