美国参议员 Warren、Van Hollen、Blumenthal 发布 27 页调查报告《Power and Profits》，称部分超大规模数据中心企业误导公众，未承担其应分摊的成本。报告基于近一年调查，2025 年 12 月 15 日曾致函 Amazon、Google、Meta、Microsoft、CoreWeave、Digital Realty、Equinix 索要信息。结论称这些公司只承诺支付专属自身的基础设施费用，反对「but-for」成本分摊标准，并游说州议会争取更有利条款，把成本转嫁给居民和地方政…
推荐理由了解 AI 数据中心扩张背后的电费与补贴争议，涉及 Amazon、Google、Meta
开发者发布 Nagare，一款面向 iPhone 和 Mac 的待办应用，核心思路是把日历事件和任务视为同一种「承诺」，用单一有序列表呈现，每项可选填时间。作者称此前用 Things 时日历像附加功能，事件固定在顶部、任务在下方，仍需自己判断如何穿插。Nagare 通过 iCloud 同步数据，并通过 MCP 把计划与完成记录作为上下文提供给 AI agent，让 agent 主动提醒，例如一周没有社交安排时建议约人、计划锻炼反复未完成时来询问。已在 App Store 上架。
推荐理由用 MCP 把待办和日历上下文喂给 agent，想做个人助理类 Agent 的可以看这个接口设计
据《纽约时报》报道，Anthropic 在周五的博客文章中披露了其 AI Agent 的活动，但未点名被针对的网站。两名知情人士称，Anthropic 的 AI Agent 通过美国国务院网站上的表单提交了 20 份签证申请，所有申请均不完整，未被受理。
推荐理由了解 AI Agent 自主行动越界的具体案例，20 份未受理的签证申请是少见的实证细节。
Prime Intellect 将 Prime Agent 用 Rust 从零重写。重写过程由 2000 多个 Agent 自主完成，运行在 10000+ Prime Sandboxes 上，消耗 Prime Inference 的 GLM-5.3 端点超 2000 亿 token。Rust 版实现阶段用了 1929.9 亿 token、1981 个 Agent，性能爬坡阶段用了 357 亿 token、228 个 Agent。官方称新版本比多数编码 Agent 框架运行更快、资源占用更少，并新增 Windows …
推荐理由看 2000 个 Agent 两周重写一个项目的真实 token 消耗和分工数据
Epoch AI 发布 InnovationEval 评测，测试 AI 能否独立发现与人类研究者水平相当的新机器学习技术。结果显示，近期前沿模型在该任务上进展甚微，尽管消耗了价值数千美元的 GPU 算力做实验。评测设定为：给 AI 2026 年初之前的 AI 研究知识，看它能否自主提出并实现一个后训练方法，达到此后人类论文的改进水平，需完成从构思、实现、实验到迭代的完整闭环。
推荐理由想判断「AI 自动做研究」离现实有多远，这份评测给出了可量化的早期答案
乌克兰无人机于 10 月 8 日和 9 日袭击了俄罗斯科技巨头 Yandex 位于萨索沃和卡卢加地区的两座数据中心，Yandex 共五座数据中心中已有两座被摧毁。Yandex 运营俄罗斯最受欢迎的搜索引擎，被称为"俄罗斯的 Google"，袭击导致其 AI 聊天机器人及其他在线服务难以维持。乌克兰总统泽连斯基称这是对俄罗斯自 9 月底以来持续打击乌克兰数据中心的"对称回应"。
推荐理由了解战争对 AI 基础设施的直接影响，数据中心正成为军事打击目标
西班牙计算机历史博物馆用 30 台 2012 年前后的 Mac Mini 搭建了 1976 年 Cray-1 超算的 1:1 视觉复刻品，项目耗时 18 个月，作为 Cray-1 与苹果成立 50 周年的纪念。集群含 5 台四核 i7 和 25 台双核 i5，最新测试中 64 个活跃核心合计约 1.3 teraflops；此前 70 个核心全开时曾达 1.5 teraflops，后有一个节点下线。跑分使用自写的 Python 矩阵乘法脚本。原版 Cray-1 峰值性能约 160 megaflops，采用向量处理，而…
推荐理由旧硬件集群跑出 1.3 teraflops，比原版 Cray-1 快约 8000 倍，可作科普素材
TypeSafe AI 完成 8.7 亿美元融资，估值 75 亿美元，由 Andreessen Horowitz 领投，Sequoia 和现有投资方 DCVC 参投。该公司开发的 Jev 于 9 月 15 日发布后迅速走红，基于 transformer 架构但不输出文本，而是生成概率，即公司所称的「校准决策」，号称比 LLM 更快、消耗 token 更少，定位为自动化任务而非生成文本或代码。公司称已有三分之一财富 500 强企业在使用该模型。联合创始人包括前 OpenAI 研究员 Diogo Almeida、前 M…
推荐理由非 LLM 路线拿到 75 亿美元估值，三分之一财富 500 强已用，值得关注自动化任务的新技术方向
AI 研究者 Nathan Lambert 撰文认为，业界顶尖研究者之所以相信 AI 几年内会超越自己，是因为他们看到模型在基础设施和工程能力上的加速。他同意模型几年内会成为超人的分布式 GPU 工程师，但这只会让模型实验和调参更容易，不会让模型本质发生剧变。他认为当前进展主要来自推理时算力的扩展，而非模型研究能力的跃升；训练和推理栈中大量指标（每 GPU 每秒 token 数、每次回答成本等）高度可优化，预计几年内 AI Agent 可端到端优化这一过程，使推理能力接近硬件算力上限。过去几年推理效率提升已很可观，…
推荐理由了解一线研究者对「AI 自我改进」的冷静判断：进步来自工程与推理算力，而非模型本质跃迁。
哈佛大学研究者 Fiona Chen 和 James Stratton 分析了 Jellyfish 的工程团队数据，覆盖 700 多家软件公司、70 多万员工、3 亿条工作事件（提交、拉取请求等），时间跨度 2021 年至 2026 年 3 月。研究发现，人工代码审查成为 AI 编码工具整体效率的显著瓶颈：编码阶段提升的效率被下游流程吸收，代码审查时间明显变长，拉取请求更可能需要返工，审查者留下的评论更多。研究结论是，几乎没有证据表明使用这些工具的公司增加了软件产出或减少了用工。
推荐理由用 3 亿条工程数据说明 AI 编码的真实瓶颈在代码审查，不是写代码
OpenAI 本周突然发布近 400 项 AI 生成的数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等多个分支。多位数学家对 The Verge 表示，仅浏览约 40 页的目录和摘要就要花近一小时，完全理解这些成果可能需要数年。OpenAI 在 GitHub 上承认结果处于"不同验证阶段"，719 份手稿中仅 300 项核心结果完成 Lean 形式化，约 42%，并称将陆续补充。部分数学家对形式化比例过低表示不满。
推荐理由了解 AI 在数学领域一次规模空前的成果投放，以及 42% 形式化率这一关键验证缺口。
Nikon 调查后认定清华大学 Ning Xu 的获奖视频不符合比赛规则，取消其 Small World in Motion 冠军资格。此前有研究者指出该视频存在结构异常、细胞特征异常出现与消失，并在源文件中发现疑似 AI 水印。Xu 承认用 AI「区分和可视化重建灰度图像中的特征」，但否认用 AI 生成实验影片、纤毛或其运动。新冠军为越南 Nguyen Nam Nhat，作品是微小线虫与单细胞生物。其余选手名次依次递补。
推荐理由AI 生成内容与科研影像的边界首次在权威赛事上被明确划线，做图像处理和投稿的人要留意。
Anthropic 在 Claude Managed Agents 中新增动态工作流：由主 Agent 制定计划、把任务分发给子 Agent，完成后汇总结果，单次执行最多可并行运行 1000 个 Agent。官方测试中，团队在 11.6 万行代码里藏了 70 个 bug，单 Agent 每次只能发现 14 至 27 个，动态工作流稳定发现 66 个。Anthropic 提醒这类工作流会消耗大量 token，建议从小规模开始。启用方式为选择 "multiagent_20261001" Agent 类型，或在 Clau…
推荐理由11.6 万行代码藏 70 个 bug，动态工作流稳定查出 66 个，单 Agent 只有 14-27 个
Nikon 宣布其 Small World in Motion 显微视频大赛原第一名作品因违反生成式 AI 相关规则被取消资格。该作品来自 Dr. Ning Xu，声称展示 PCD 患儿气道中纤毛运动。网上质疑其真实性后，Nikon 上周表示正在审查。Dr. Xu 在 LinkedIn 评论中承认使用 AI：用无监督神经网络方法对超分辨率光学成像重建的灰度图像做 AI 辅助后处理，以区分和可视化特征。该视频已被取消资格并从官网移除，Nguyen Nam Nhat 的作品现列第一。Nikon 称将重新审视未来赛事的规…
推荐理由生成式 AI 进入科学影像赛事的首个公开取消资格案例，投稿前先看清赛事 AI 规则
Anthropic 启动长期计划 Cyber Mission，其中关键基础设施防御计划（CIDP）向电网、水务、交通网络运营方开放 Claude 模型、工程师和威胁分析，CrowdStrike、Palo Alto Networks、Deloitte、Rockwell Automation 为创始合作伙伴。另推出免费 OSS AI 扫描器，定期检查开源项目、自动标记并解释漏洞、给出补丁建议，官方预期准确率超 90%，但报告未经人工审核、可能出错。对基础设施或用户安全至关重要的项目维护者可通过 GitHub 申请加入。
推荐理由维护开源项目的人可免费申请，自动标漏洞并给补丁建议，官方称准确率超 90%。
Hacker News · AI10/10资讯论文研究海外数学家 Thomas Hales 在陶哲轩博客发表客座文章，讨论 Lean 定理证明器的可靠性及其与 AI 的关系。文章介绍形式化数学：形式化证明在数学基础和逻辑规则层面被穷尽检查，通常由计算机完成。已被形式化的定理包括四色定理、Feit-Thompson 定理、开普勒猜想、球面翻转、8 维和 24 维球堆积问题、Navier-Stokes 强制爆破和费马大定理，后三项于今年完成。Lean 由 Leo de Moura 于 2013 年在微软开发并开源，mathlib 库现有近 30 万个定理、超 10 万个定义、…
推荐理由了解 Lean 形式化数学的现状：mathlib 已有 30 万定理，费马大定理等今年刚完成形式化
Read Rare 上线，收录 45 份来自 Apple、Intel、Google、Netflix、Facebook 等公司的内部备忘录、泄露手册和被遗忘的书籍，全部免费阅读或借阅。文档部分包括 1977 年 Mike Markkula 的《The Apple Marketing Philosophy》、2015 年 Musk、Altman、Sutskever 与 Brockman 的 OpenAI 创立邮件、2023 年 Google 泄露的《We Have No Moat, And Neither Does O…
推荐理由能直接读到 OpenAI 创立邮件和 Google「没有护城河」泄露原文，做 AI 的都该翻一遍。