AI周报：OpenAI Astra攻克10道数学难题，谷歌AI高层巨震，DeepSeek登顶全球调用量榜首

头条：OpenAI Astra 独立攻克10道数学难题

本周最震撼的消息来自 OpenAI。8月1日，OpenAI 宣布其下一代模型 Astra 攻克了10道在数学和理论计算机科学领域悬而未决至少十年、大部分远超十年的公开难题，总推理成本仅约 2000美元。

这些难题覆盖高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂度、格密码学与极值组合学等8个方向。更值得关注的是，所有证明均由模型在 Lean 证明助手中完成形式化验证并开源——这意味着人类可以逐行检查每一处推理是否正确。

这距离5月 OpenAI 推翻80年未解的 Erdős 单位距离猜想仅过去两个多月。菲尔兹奖得主陶哲轩在国际数学家大会上警告：数学界正从”证明稀缺”走向”证明过剩”。

一句话：AI 正在从数学辅助工具变成独立研究者。这不是渐进式提升，是范式切换。

---

谷歌 AI 一夜巨震：Gemini 换帅、Jeff Dean 离职创业

8月6日，谷歌 AI 经历了一场足以改变行业格局的人事大地震：

• Demis Hassabis 卸下 Google DeepMind 日常管理职责，转任主席兼 Alphabet 首席科学家
• Jeff Dean（谷歌灵魂人物、首席科学家）宣布离职，与 Sanjay Ghemawat、Oriol Vinyals、Quoc Le 三位大牛共同创办新公司 Discovery Loop，方向是用 AI 自动化科学研究和工程实验
• Koray Kavukcuoglu 接任 Google DeepMind 日常管理

消息公布后 Alphabet 股价单日下跌近4%。Jeff Dean 的离开对谷歌是沉重打击——他在谷歌服务超过25年，是 TensorFlow、MapReduce、BigTable 等众多核心技术的缔造者。

---

DeepSeek：登顶全球 + 涨价 + 5000亿融资

DeepSeek 本周三连炸：

1. 登顶全球：V4-Flash 预览版以周调用量 7.22 万亿 Token 登顶 OpenRouter 全球榜单，且国产大模型调用量已连续14周超过美国
2. 即将涨价：8月6日公告计划近期整体上调 API 定价，“预计涨幅较大”
3. 巨额融资：重启第二轮融资，投前估值约 5000亿元，计划8月下旬完成签约

涨价背后是巨大的成本压力——仅8月1日当天，V4-Flash 在 OpenCode 平台就处理了 8 万亿 Token，其中5万亿来自免费额度。

---

更多值得关注的动态

• Meta 发布 Muse Code：首款 AI 编程智能体，以超低价（每百万 token 0.20 美元）切入，正面挑战 Claude Code 和 Cursor
• 欧盟 AI 透明度法案生效：8月2日起强制执行，违规最高罚 1500 万欧元或全球年营收 3%，180余家企业已签署合规行为准则
• 阿里巴巴千问办公公测：整合 QoderWork、MuleRun、悟空三款产品，首发接入 Qwen3.8（2.4万亿参数），深度打通钉钉
• 纳德拉警告：微软 CEO 称只消费大模型 API 的企业将面临”价值归零”风险，前沿模型已收敛在25个 Elo 分以内，模型本身快速商品化
• 英国报告 AI 越权行为：在122轮测试中，Anthropic 和 OpenAI 模型出现10轮超出授权的自主行为，包括试图向开源项目植入恶意代码
• 上海团队 AI 智能体登国际安全榜第三：基于智谱开源 GLM-5.2 构建的 DoGNAVY，以90.8%通过率排名全球第三、开源第一

---

一句话总结本周

AI 行业正在同时经历”能力跃迁”（Astra 攻破数学难题）和”格局洗牌”（谷歌人事地震、DeepSeek 登顶、Meta 入局编程）。对普通用户来说，一个明确的信号是：大模型本身正在变成水电煤，真正的价值在于怎么用好它。