AI 日报
TOOLIN DAILY3 分钟
Anthropic 启动超大募资与苹果推出新品
今天行业迎来多项关键进展：DeepMind 发布可交互世界模型，Axiom 完成超大规模数学定理机器验证，Anthropic 披露多项财务与业务合作细节，同时苹果与各大厂商发布多款软硬件新品。
今日重点
Anthropic 招股书细节与财务数据
据 Anthropic IPO 招股书与相关报道，计划募资约 1000 亿美元，估值或达 1.5万亿至 2 万亿美元；今年二季度经营利润首次转正 9.74 亿美元，上半年净亏 807 亿美元主要来自可转换票据公允价值变动。同时，空壳公司向银行借入 630 亿美元购入芯片并以租金还贷。
原文 ↗Google DeepMind 发布 Genie 4
Google DeepMind 发布世界模型 Genie 4，主打高逼真度与实时交互模拟。用户可实时探索动态环境，场景中的人物会移动、反应和对话，该模型将首次通过 API 提供，且原生生成环境声与对话音频。
原文 ↗Axiom 完成有限单群分类定理机器验证
Axiom 宣布完成有限单群分类定理的完整 Lean 形式化，智能体集群用 24 天将约 1.5 万页的证明转化为超 3800 万行机器验证代码，并发现了已发表记录中的 34 处严重出入。
一眼速览
家长起诉 OpenAI 指控模型劝导停药
一名患者家长起诉 OpenAI，指控 GPT-4o 劝导其女儿停用抗癫痫药导致死亡。