TLDR AI（API 正常）、The Verge、HN Best、TechCrunch（RSS 降级成功，20 条）、HuggingFace Papers（API 返回 50 篇）均正常；机器之心仍返回数据服务推广页，未取得新闻列表。
🛠️ 模型、产品与平台动态
有限单群分类定理（ proofs 总长上万页的数学史上最大证明之一）迎来首个完整机器检验版本：Axiom Math 的 Agent 集群历时 24 天生成约 4310 万行 Lean 代码。继指数时间假说之后，「AI 把人类数学史上的不确定部分变成机器可验证」再下一城。同日 Anthropic 也公开了 Claude 无人参与下给出 3-SAT 亚指数算法的 Lean 4 证明仓库。
Google Research 巧妙仿照生物「清醒编码—睡眠巩固」机制：LLM 在活跃交互与离线记忆巩固之间交替，把新知识整理合并进长期记忆。实验显示模型可保留约 1000 万 token 的知识且不遗忘旧技能——为「部署后还能继续学」这条一直堵死的技术路线给出了新范式。
Liquid AI 推出 LFM3 家族，主打「更少参数更高效果」：1.7B 文本模型在多项基准上超越上一代，支持 256K 上下文，并明确为端侧智能体场景提供微调路径。在云巨头卷前沿参数量时，LFM3 继续押注「手机/边缘设备跑得动」的差异化生态。
NVIDIA 发布免费语音转文字开放模型，覆盖多达 40 种语言的转录，但仅支持对录音文件处理、不支持实时流式音频——定位更像是给开发者做批量字幕、会议存档类离线管线用的基座，而非挑战实时语音产品。开源 ASR 赛道再添大厂级权重。
Cognition 把 FrontierCode 基准升级到 2.0：扩大任务范围与代码库规模，提高合并标准与正确性要求，参考解的修改规模也较 1.1 版大幅增加。编码 Agent 的「演示看板」时代正在过去，评测正在朝着真实工程交付口径收紧。
Glasser 上线「Agent 数据采购」能力：AI 智能体可按 API 调用粒度付费购买 80 多家供应商的 2000 多个高级数据端点。当 Agent 的短板从「能力」转向「原料」，为机器到机器的数据交易建结算层，正在成为 Agent 经济的一个新基础设施方向。
Meta Research 开源 InteractiveWorld 仿真框架，模拟第一人称视角下的观察与对话交互，用于训练和评估可穿戴 AI 助手（智能眼镜场景）。硬件放量前先开源仿真环境——Meta 正在为「眼镜 Agent 生态」铺开发者地基。
GitHub 前 CEO Thomas Dohmke 正式发布 Entire，定位「for AI agents 的 Git 协作平台」：用 Trails 机制取代传统 pull request，让人类与大量并行工作的 Agent 协作时不再逐个 review 合并。代码协作的第一性单元正在从「人的提交」转向「Agent 的任务轨迹」。HN 连日热议。
💡 深度分析与观点
TechCrunch 梳理 Anthropic 上市后的公司治理：PBC 外壳、公益股东、董事会的特殊席位与安全承诺如何层层嵌套。这套结构的本质是「用制度约束资本」——它能否在几十亿美元的股东回报压力下守住安全优先定位，将成为整个行业公司治理的参照实验。
大规模可转债转股条款的披露揭示了 Amazon 在 Anthropic 的真实持股规模：风险投资机构在 IPO 中斩获数十亿美元账面收益，而亚马逊凭借此前可转债的转换条款拿走了更大的一块。AI 投资的「云厂商债转股」结构首次给出可计算的回报图谱。
Zvi 长文剖析 Anthropic 的内在矛盾：一边是激进的安全承诺与 IPO 文件里的使命陈述，一边是激进商业化运营带来的组织惯性。这不是个别决定的对错问题，而是「安全实验室的公司形态是否天然自相矛盾」的结构性追问，与同日多篇治理拆解互为印证。
IEEE Spectrum 报道维基百科社区正在系统性清理 AI 生成内容：志愿者如何识别「LLM 腔」的条目与引注，WikiProject 如何建立清理流程。当公开知识基础设施开始防御性地清除模型输出，「互联网语料的回流污染」不再是理论担忧，而是已经在社区治理层面动手的现实。HN 490 票。
TechCrunch 评论指出，一些科技领袖以「用 AI 连接家人」之类言论炫耀自己如何使用 AI 时，暴露的恰是与普通用户的脱节——大众要的是省事，不是生活方式改造。产品叙事与真实需求的裂缝，正在成为 AI 应用渗透下一阶段的隐藏阻力。
Epoch AI 推出 AI Chip Imports Explorer，基于贸易数据估算 2022 年以来各国实际到达的 AI 算力总量。出口管制的效果到底如何、算力差距是嘴上的还是货架上的——这个工具第一次让「全球 AI 算力分布」从推断变成可交互查询的公开数据。