The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations. https://t.co/Y1P26abyPQ
#现象/趋势#Agent#推理
#行业动态#OpenAI#推理
#行业动态#具身智能
Over the past few months, Anthropic scientists have engaged in deep research partnerships with six organizations developing new medicines. We've also begun drug discovery efforts of our own. In doing so, we’ve learned much more about how Claude can support the many stages of drug development. In this blog post, we share some early results from these efforts, and describe how this work fits in with our wider ambitions in the life sciences. https://t.co/EVbxkdDTgJ
#行业动态#Anthropic#Agent
#行业动态#部署/工程#Google
We're expanding our partnership with @USGSA. Under a new OneGov agreement, we are bringing Claude to federal, state, local, tribal, and territorial governments at 40% off. https://t.co/p0lA6cP2y1
#行业动态#Anthropic
#行业动态#Anthropic
Anthropic 宣布扩大与美国总务管理局（USGSA）的合作，通过新的 OneGov 协议以 40% 折扣向联邦、州、地方、部落和领地政府提供 Claude。推文附带了协议链接。
#行业动态#Anthropic#政策/监管
Anthropic 扩大与美国总务管理局（GSA）的合作，通过新协议为政府合作伙伴提供 Claude Enterprise、Claude for Government 和 Claude API 的 40% 折扣，折扣覆盖所有产品形态，并延伸至州、地方、部落和领地政府。Anthropic 称该协议预计为政府节省 10 亿美元，机构无需最低采购承诺、按实际用量付费；目前约 500 个美国联邦、州和地方政府组织使用 Claude，Claude for Government 周活跃用户自 2 月以来增长约 8 倍。Anthropic 同时启动专项计划帮助机构落地 Claude，并称 Claude for Government 已于 9 月 30 日全面可用，具备 FedRAMP High 授权。
#行业动态#Anthropic#政策/监管
Anthropic 周一向美国证券交易委员会提交 S-1 文件，申请首次公开招股，预计在纳斯达克全球精选市场交易，股票代码为“ANT”。该公司已于 6 月秘密提交上市申请，高盛集团和摩根士丹利担任主承销商。
#行业动态#OpenAI#Anthropic
Anthropic周一披露的IPO招股书显示，7位联合创始人各持有约1.4%股份，按上一轮9650亿美元估值计算，每人财富均超过130亿美元。若IPO实现投资者提出的2万亿美元估值目标，在不计入新股稀释的情况下，每人身家将升至270亿美元以上。创始人在致潜在股东信中称，AI和Anthropic代表着历史上最大经济机遇之一。
#行业动态#Anthropic
Anthropic已正式递交IPO招股书，最早可能在下个月上市，此次IPO可能筹集1000亿美元。招股书披露其未来十年计划在数据中心、芯片和云计算上投入高达8070亿美元，但第三季度营收168亿美元、环比增长45%，增速低于第二季度的141%。《纽约时报》称，这次上市将首次让外界深入了解支撑AI热潮的关键企业经营状况，并检验芯片、数据中心等巨额投入的可持续性。
#行业动态#OpenAI
英伟达宣布在Meta的股权发行中投资30亿美元，双方将扩大在个人智能体产品Muse及Muse系列模型上的合作，以提升模型推理和训练性能。这笔投资是Meta总额950亿美元募资计划的一部分，AMD、博通也有意向投资。Meta预计全年资本支出达1350亿至1450亿美元，并将考虑采用英伟达OpenShell安全智能体参考架构，扩大Vera Rubin、Vera CPU及Spectrum-X网络等基础设施部署。
#行业动态#Agent#部署/工程
脑虎科技完成7亿人民币B轮融资，由国投聚力、深创投、勤智资本联合领投，资金将用于“全植入、全无线、全功能”脑机接口系统的多中心临床试验及注册审批、量产建设和下一代产品研发。该系统已完成65例临床试验，今年7月进入三类医疗器械注册临床阶段，由复旦大学附属华山医院牵头、毛颖教授团队担任主要研究者。创始人陶虎称，当前几十例数据还不足以让算法在不同患者间迁移，需积累几百例甚至几千例。
#行业动态#具身智能
据法国国家科研中心研究主任Scott Armstrong转述，几组偏微分方程专家已基本读懂OpenAI纳维-斯托克斯证明的思路，认为它超出人类原本能想到的范围但未超出人类理解。OpenAI用未发布新模型调动约1万个智能体攻关88小时，生成约1300亿个token，随后由GPT-6 Astra翻译成Lean语言供机器逐行检查。10月6日有预印本指出原稿与Lean版本部分陈述和推导存在差异，克雷研究所仍将该问题列为进行中。
#论文/研究#推理#OpenAI
Anthropic 筹备上市，估值估计最高可达 2 万亿美元，本周一公布的招股书披露了安全、客户依赖与公司治理方面的细节。2026 年前九个月，约 5% 至 7% 的收入来自被查出违反使用政策的客户；前五大客户贡献约 25% 的收入，2026 年上半年 48% 的收入通过 AWS、Google Cloud 和 Microsoft Azure 等平台取得。现有及计划中的 AI 基础设施协议合计约 6570 亿美元，其中约 4170 亿美元不可取消，计入仍在谈判的硬件容量后支出可能升至 8060 亿美元。上市后七位创始人将合计控制 50.1% 的普通股东投票权，具体上市日期尚未确定，据《华尔街日报》报道目标为 11 月 16 日当周。
#行业动态#Anthropic#OpenAI
美国银行、黑石、花旗和摩根士丹利宣布一项 630 亿美元交易，通过新设 SPV 购买博通基于 XPU 的 AI 加速器和网络设备并租给 Anthropic，设备交付从 2027 年开始。博通将为抵押设备提供最高至第一留置权贷款额度的残值担保，若转售价值下跌导致 SPV 无法偿还第一留置权债务，博通将补足缺口。博通 CEO 陈福阳称，该交易体现了先进技术的地位以及对 AI 生态的信心。
#行业动态#数据/训练#Anthropic
Nvidia 与 Meta 宣布扩大在 Muse AI 模型和智能体上的合作，Nvidia 将向 Meta 的股权发行投入 30 亿美元。双方将围绕 Nvidia OpenShell 参考架构展开协作，包括用于安全部署的 Nvidia OpenShell 和用于智能体行为监控的 Nvidia Sentry；Meta 还将把 Nvidia 基础设施的使用扩展到 Vera Rubin、Vera CPU 以及 Spectrum-X 和 BlueField-4 以太网。Meta 目前使用 Nvidia 基础设施运行 Muse AI 模型和智能体。
#行业动态#Agent#部署/工程
Oracle 与 Google 在 Oracle AI World 宣布，Google TPU 将通过 Oracle Cloud Infrastructure（OCI）提供，Oracle 称 OCI 是 Google 之外首个提供 Google TPU 的超大规模云平台，可用时间计划在 2027 日历年内。OCI 负责供电、散热和数据中心网络，支持大模型训练、后训练（含稠密与 MoE 模型）以及推理、智能体和长上下文场景的生产推理。双方还介绍了第八代 TPU 的 TPU 8t 训练版与 TPU 8i 推理版，其中 TPU 8t 单 pod 算力接近上一代 3 倍。
#行业动态#部署/工程#Google
Infisical 完成 4000 万美元 B 轮融资，估值 6 亿美元，由 Elad Gil 领投，Gradient 和 Y Combinator 参投。资金将用于加速产品开发、扩充工程与市场团队，并建设面向 AI 智能体的安全基础设施。其 Agent Vault 目前标注为预览版，通过正向代理在请求发出时附加真实凭据，使密钥不进入智能体的环境、文件系统和模型上下文。
#行业动态#Agent#安全/对齐