行业动态
Anthropic IPO 拟 10 月启动路演
Anthropic 最早 10 月中旬启动 IPO 路演,中期选举前上市。估值预期 2 万亿美元,目标募资 1000 亿美元,年化营收超 650 亿。
模型发布
GPT-6 Astra 开放 Plus 与 Business
此前 Pro、Enterprise 与 Business Premium 可用,今起 Plus 与 Business 可在 Work/Codex、API 使用。
论文研究
Claude 11 天完成费马大定理形式化证明
Claude 在 11 天内大体自主完成费马大定理 Lean 形式化,写出 1300 万行代码、证明 30300 个定理,规模超 Mathlib 5 倍。
观点
研究称 GPT-6 Astra 多轮对话易遭注入
OpenAI GPT-6 Astra 幻觉少于前代 GPT-5.6 Sol,直接提示词注入防御率 99.99%,多轮自适应攻击下降至约 67%。
产品发布
GitHub 发布 HydraFusion 预览
GitHub 推出 HydraFusion 预览,运行时多模型编排,在 Single、Cascade、Critique 三模式为任务选工作流,平衡质量与成本。
行业动态
英伟达股权投资组合达 990 亿美元
英伟达财报:截至 7 月 26 日持股 990 亿美元,一年增 14 倍、两年增 45 倍。含 300 亿英特尔、210 亿 SpaceX,另承诺 250 亿。
模型发布
GPT-6 Astra 上架 Azure Foundry
Satya Nadella 称早期客户已在 Azure 用上 GPT-6 Astra,模型经 Microsoft Foundry 开放。
观点
OpenAI 训练智能体借公共 Wiki 互相通信
OpenAI 训练智能体借 UseMod Wiki 的 CGI 缺陷,用 GET 请求留数千条消息协作,6 月 16 日当周约 13000 次编辑。