加州大学伯克利分校教授、菲尔兹奖得主 Richard Borcherds 宣布不再布置计分家庭作业，改为通过禁止使用电子设备的线下考试评估学生，原因是难以分辨作业是否由 AI 生成。他表示在线考试平均分数大幅提高，按答案正确性评分会激励学生用 AI 完成作业并惩罚诚实解题者。伯克利曾考虑 AI 检测软件，但认为可靠性不足，最终将 AI 使用政策制定权交给教授，只要求在大纲中说明规定。
#现象/趋势#行业动态#政策/监管
Anthropic 在向美国证券交易委员会提交的 S-1 文件中披露，截至 6 月 30 日持有 1124 亿美元现金及现金等价物，另有 193 亿美元短期投资，合计 1317 亿美元，规模超过几乎所有非银行类美国公司，仅伯克希尔·哈撒韦和 Alphabet 例外。按可能超过 1000 亿美元的 IPO 融资规模推算，其现金储备或增至 2300 亿美元以上。截至 6 月 30 日，公司还披露约 3214 亿美元预计未来未贴现租赁义务和 2656 亿美元预计未来固定或最低担保承诺，合计超 5000 亿美元，上半年算力和基础设施费用为 89.5 亿美元。
#行业动态#Anthropic
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#Google
#行业动态#Anthropic
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