Astra攻克十道数学难题,DeepSeek V4-Flash搅局,欧盟透明度新规落地
• OpenAI 于 8 月 1 日公布内部版下一代模型 Astra 解出十道悬置十年以上的数学与理论计算机科学open problem,含首个非 sofic 群的显式构造,随附 249 页手稿与全部 Lean 4 证书,总算力成本约 2000 美元。 B+·91% 多源一致
• Anthropic 于 8 月 4 日在官网发布人事公告,前加州最高法院大法官、卡内基国际和平基金会主席 Mariano-Florentino (Tino) Cuéllar 出任首席全球事务官,负责政策与政府关系。 B+·90% 待复核
• Meta 在 7 月底财报中再度上调 2026 年资本开支指引至 1300 亿至 1450 亿美元,增量几乎全投 AI 基础设施;同期微软 Azure 增速保持 40% 以上,两家在 AI 变现节奏上出现分化。 B-·82% 同源引述
• DeepSeek 8 月 3 日宣称 V4-Flash 智能体能力大幅提升后,港股国产 AI 板块震荡,智谱盘中一度跌逾 13%,MiniMax 因 H3 视频模型上榜涨逾 8%,反映国内模型竞争已直接传导至资本市场。 B·61% 待复核 · 链接探活失败
• DeepSeek 于 7 月 31 日下午通过 API 文档发布日志上线 V4-Flash 正式版公测,架构与参数不变、仅重做后训练,Terminal Bench 2.1 达 82.7、DeepSWE 54.4,原生支持 Responses API 并适配 Codex,V4-Pro 正式版将尽快发布。 B+·92% 多源一致
• MiniMax 于 7 月 31 日发布通用全模态生成模型 H3,8 月 3 日正式开源权重,支持最高 2K 分辨率、15 秒、原生双声道音视频,2K 每秒定价 0.8 元,昇腾/摩尔线程/AMD/Intel 等多家芯片已完成适配。 B+·89% 多源一致
• Anthropic 于 7 月 24 日发布 Claude Opus 5,主打编码、知识工作与科研,速度与成本效率优于上代,成为 Claude Max 默认模型;同期 Sonnet 5 的 2/10 美元促销价将于 8 月 31 日结束。 B+·90% 多源一致
• 阿里通义千问 8 月初正式发布 Qwen3.8-Max,官方口径 2.4 万亿参数 MoE、约 95B 激活、100 万 token 上下文,主攻编程与办公场景,称权重将于近期开源并同步放出 Qwen3.8-27B。 B·78% 待复核
• 欧盟 AI 法案透明度义务自 8 月 2 日起由欧委会 AI 办公室与成员国主管机关正式执法:交互式 AI 须首次接触即告知用户在与机器对话,深度伪造须标注,AI 生成内容须带机器可读标记,已有 180 余家机构签署行为准则。 A·97% 已核实
• 具身智能进入整机时代:Google DeepMind 7 月 30 日发布 Gemini Robotics 2,从上半身控制扩展到人形机器人全身控制、精细操作与多机协作,已在 Apptronik Apollo 2 上演示行走、下蹲与实时推理。 B+·73% 多源一致 · 链接探活失败
• 国产开源阵营的竞争焦点从跑分转向智能体交付:DeepSeek V4-Flash 重训主攻工具调用与多步任务,智谱 GLM-5.2、月之暗面 Kimi K3、MiniMax H3 密集上新,开源权重叠加国产芯片适配成为对抗闭源的主要打法。 B-·80% 同源引述
• OpenAI 正推进 1000 亿美元融资、估值达 8500 亿美元、ARR 131 亿美元——仅见于知乎/智源等二手汇编且无日期,未找到一手融资公告或权威财经媒体独家,主动剔除。
• 微软投资 25 亿美元成立 Frontier Company 并派驻 6000 名 AI 工程师——仅单篇中文汇编提及,微软官方新闻室未检索到对应公告,主动剔除。
• 月之暗面从阿里获得约 2 万张英伟达芯片以支持 Kimi 模型——港媒行情快讯中的转述传闻,无双方任何一方证实,主动剔除。
• OpenAI 已发布 GPT-5.5 / GPT-5.6 Luna——仅出现在 AI 新闻聚合站与营销博客,与 OpenAI 官方发布渠道口径不符,疑为聚合站臆测,主动剔除。
• Claude 4 Opus 具备 500 万 token 上下文窗口——聚合站说法,与 Anthropic 官方 7 月 24 日 Opus 5 发布节奏矛盾,系错误信息,主动剔除。
• Qwen3.8-Max 无人干预连续自主运行约 16 天写出自进化智能体框架并留下 265 次 GitHub 提交——仅见于自媒体单源,无官方技术报告或可查仓库佐证,主动剔除。
• Meta 超级智能实验室推出可 @ Instagram 真实账号并把本人面貌融入生成图的 Muse Image——涉及肖像合规的重大说法,仅单篇中文汇编提及,未找到 Meta 官方公告,主动剔除。
| 条目 | 等级 | 可信度 | 探活 | 来源 |
|---|---|---|---|---|
| OpenAI 于 8 月 1 日公布内部版下一代 | B+ | 91% | ✓活 | implicator.ai/openai-astra-10-math-problems-le… |
| Anthropic 于 8 月 4 日在官网发布 | B+ | 90% | ✓活 | anthropic.com/news… |
| Meta 在 7 月底财报中再度上调 2026 | B- | 82% | ✓活 | finance.sina.com.cn/tech/roll/2026-07-30/doc-i… |
| DeepSeek 8 月 3 日宣称 V4-Fl | B | 61% | ✗死 | finance.mingpao.com/fin/instantf/20260803/1785… |
| DeepSeek 于 7 月 31 日下午通过 | B+ | 92% | ✓活 | ithome.com/0/984/116.htm… |
| MiniMax 于 7 月 31 日发布通用全模 | B+ | 89% | ✓活 | 36kr.com/p/3923196846894725… |
| Anthropic 于 7 月 24 日发布 C | B+ | 90% | ✓活 | llm-stats.com/llm-updates… |
| 阿里通义千问 8 月初正式发布 Qwen3.8- | B | 78% | ✓活 | huxiu.com/ainews/13979.html… |
| 欧盟 AI 法案透明度义务自 8 月 2 日起由 | A | 97% | ✓活 | digital-strategy.ec.europa.eu/en/news/commissi… |
| 具身智能进入整机时代:Google DeepMi | B+ | 73% | ✗死 | bloomberg.com/news/articles/2026-07-30/google-… |
| 国产开源阵营的竞争焦点从跑分转向智能体交付:De | B- | 80% | ✓活 | stcn.com/article/detail/3640328.html… |
*评分:A 官方一手抓原文 / B+ ≥2独立源 / B 单家权威或未复核 / B- 同源引述 / C 二手(不采)。本期 WebSearch=15 WebFetch=11 成本≈$1.343279。自动生成,源已分级核验。*
AISOS 自动情报 · 信息源经分级核验 · 2026-08-05