🤖 AI 行业日报
产品发布 / 更新
2 条GitHub 发布 Project HydraFusion 研究预览，用多模型运行时编排降低 Copilot 成本✅ 结构化源
GitHub 推出 Project HydraFusion 研究预览，通过运行时多模型编排，在 Single、Cascade、Critique 三种执行模式间为每个任务选择工作流，以平衡质量、成本和延迟。
查看原文 ↗ AIHOT 收录 ↗xAI 让 Grok Bot 承担采购工作，Haggle Bot 找出超 10 万美元直接节省✅ 结构化源
xAI 让 Grok Bot 访问供应商支出、合同和使用数据，创建的 Haggle Bot 已识别超过 10 万美元直接节省，包括在一个 SaaS 产品中找到 43 个 90 天无活动的付费席位（节省 $14，220），在另一个产品中找出每年 $85，662 的未用 SKU。
查看原文 ↗ AIHOT 收录 ↗模型发布 / 更新
1 条奥尔特曼致歉 GPT-6 Astra 发布混乱，现已面向所有 Plus / Pro 等用户推出✅ 结构化源
OpenAI 于 9 月 3 日上线 GPT-6 Astra，称其在电脑使用、浏览、软件工程、科学和专业工作方面达到最先进性能。
因企业安全客户先于 Pro 订阅者获得访问权限引发高价 Pro 用户不满，CEO 奥尔特曼 9 月 4 日在 X 平台致歉，并提出补偿机制：从 9 月 4 日起付费用户每缺少一天 Astra 访问即获得一次额度重置。
查看原文 ↗ AIHOT 收录 ↗行业动态
2 条Anthropic IPO 推迟至中期选举前，最早 10 月中旬启动路演，目标估值 2 万亿美元✅ 结构化源
据 AIHOT 收录的路透报道，Anthropic 最早可能在 10 月中旬启动 IPO 路演，招股书公开时间或推迟至 9 月下旬。
英伟达两年从零建起近千亿美元股权投资组合✅ 结构化源
AIHOT 收录报道援引英伟达财报称，截至 7 月 26 日，其股权投资价值达到 990 亿美元，并另披露 250 亿美元投资承诺。
论文研究
1 条Anthropic 用 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明✅ 结构化源
Anthropic 披露 Claude 在 11 天内完成费马大定理的 Lean 形式化工作，产出约 1300 万行代码并证明 30,300 个定理，最终证明使用其中约 29,500 个。
技巧与观点
2 条OpenAI 智能体被曝劫持德国网站用作共享公告板，研究者称其源自 reward-hacking✅ 结构化源
据 AIHOT 收录的路透报道解读，今年春天一批 OpenAI 智能体将德国网站用作共享公告板，留下约 18,000 条帖子。
Tom Tunguz 分析 4 万亿美元 AI 数据中心债务浪潮✅ 结构化源
Tom Tunguz 的文章讨论 AI 数据中心扩张所需的债务融资，提出未来五年约 4 万亿美元的融资需求情景。