📡 AI日报 8/6 | Jeff Dean离开谷歌创办Discovery Loop、OpenAI Astra攻克10个数学难题、DeepSeek重启融资估值5000亿
-
1️⃣ Jeff Dean 离开谷歌，27 年后联合创办 Discovery Loop：据 WIRED、CNBC、NYT，谷歌首席科学家 Jeff Dean 与 Sanjay Ghemawat 等四位顶级 AI 研究员离职，共同创办公益公司 Discovery Loop，专注用 AI 推动科学发现。Jeff Dean 在谷歌近 27 年，是 MapReduce、TensorFlow 等基础设施的核心缔造者。这次出走被看作谷歌 AI 人才流失的标志性事件。
2️⃣ OpenAI 内部模型 Astra 攻克 10 个数学/理论计算机科学难题：据 Economic Times 等，Astra 内部版一次性解决了 10 个困扰学界多年的开放问题，包括推翻 Fields 奖得主 Connes 的刚性猜想、构造首个显式非 sofic 群、球堆积与纠错码方面的进展，以及量子并行重复定理。据称总成本约 2000 美元（按 Sol API 价格折算）——数学研究正在被 AI 加速到"按美元计价"。
3️⃣ DeepSeek 重启第二轮融资，投前估值 5000 亿元：据《财经》、新浪科技，多名交易人士透露 DeepSeek 已重启第二轮融资，计划募资 500 亿元，投前估值约 5000 亿元人民币，预计 8 月下旬完成签约。这是 DeepSeek 继首轮后的又一次大规模融资，市场对国产开源模型的估值预期持续抬升。
4️⃣ Meta 发布 Muse Code 终端编码 Agent：据 TechCrunch、Planet AI，Meta Superintelligence Labs 推出 Muse Code——由新模型 Muse Spark 1.2 驱动的终端编码 Agent（beta），主打大型代码库的规划、写码与验证。同日 Meta 还推出 Muse Spark 1.2 "贡献者"低价档位（输入 $0.10/1M、输出 $0.20/1M tokens），换取用户提示词用于训练，AI 编程赛道价格战与数据争夺同步升级。
5️⃣ 微软财报披露：一年从 OpenAI 获得 241 亿美元收入：据 Bloomberg，微软最新文件显示截至今年 6 月的一年内，微软从 OpenAI 获得 241 亿美元收入，占其 AI 业务销售额一半以上。微软与 OpenAI 的深度绑定关系在账面上愈发清晰。
6️⃣ 谷歌洽谈 15 亿美元+ 收购 AI 编程 Agent 初创 Mechanize：据 Business Insider，谷歌正在与 AI 编程 Agent 初创公司 Mechanize 洽谈 15 亿美元以上的交易（该初创今年早些时候融资 910 万美元、估值 5 亿美元）。巨头对 AI 编程工具人才的争夺已进入"溢价扫货"阶段。
7️⃣ 苏姿丰回应马斯克"SpaceX 只买 Nvidia"言论：据 CNBC，AMD CEO 苏姿丰在财报日回应马斯克此前称 SpaceX 将独家采购 Nvidia 芯片的表态，表示对 AMD 数据中心业务依然乐观，强调 Instinct 产品线订单强劲。AI 芯片双雄的口水仗背后是数据中心份额的真实拉锯。
