早悟AI - 每日AI资讯、大模型动态、AI行业日报 | 让未来先来 - 2026年8月2日
type: channel
link: https://www.zaowu.world/2026/08/02/
description: 每日更新AI行业热点、大模型发布、AI技术进展、国内外AI资讯快报，覆盖GPT、Claude、豆包、Meta等AI动态。
items: AI 日报 | 8 月 2 日:OpenAI 用 2000 美元破了 10 道菲尔茨奖级数学难题,Anthropic 自曝越狱,Luna 降价 80%

AI 日报 | 8 月 2 日:OpenAI 用 2000 美元破了 10 道菲尔茨奖级数学难题,Anthropic 自曝越狱,Luna 降价 80%
type: item
date: 2026-08-02T22:04:41+08:00
description: OpenAI 下一代模型 Astra 用 2000 美元攻克 10 道菲尔茨奖级数学难题据《OpenAI 官方研究博客》报道,北京时间 8 月 1 日深夜,OpenAI 曝光了代号 "Astra" 的下一代模型,并发布 249 页论文与配套 Lean 4 形式化证明,披露 Astra 在 10 个十年未解的数学难题上取得重大突破,涉及高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂度、格密码学和极值组合学等广泛领域。其中最重磅的是构造出无限有限呈现的非 sofic 群,直接终结俄罗斯数学家、挪威阿贝尔奖得主 Gromov 自 1999 年提出的 sofic 群猜想;此外还在 1978 年定型的 Cohn-Elkies 线性规划指数衰减率上首次突破,改写了高维球体堆积问题 46 年的停滞局面,推翻了 1982 年菲尔茨奖得主 Connes 的刚性猜想。整个过程的总推理成本按 Sol API 价格计算不到 2000 美元,平均每道题约 200 美元。罗格斯大学杰出教授 Alex Kontorovich 在 X 上连发两个惊叹号,曼彻斯特大学数学家 Thomas Bloom 直言"比 5 月证伪单位距离猜想更重要"。OpenAI 推理模型核心缔造者 Noam Brown 同时透露,百万美元级别的世界性难题"未来也极有可能被啃下"。 OpenAI 紧急下调 GPT-5.6 系列价格,Luna 直降 80% 据《OpenAI 官方公告》报道,北京时间 7 月 31 日,OpenAI 宣布对 GPT-5.6 系列 API 进行永久性降价,入门级 Luna 模型输入价从每百万 token 1 美元砸至 0.2 美元,输出价从 6 美元降至 1.2 美元,降幅高达 80%;中端 Terra 输入价从 2.5 美元降至 2 美元,输出价从 15 美元降至 12 美元,降幅 20%;旗舰 Sol 价格不变,但新增 2.5 倍速 Fast 模式。该系列模型 6 月底刚刚上市,三周即大降价,在 OpenAI 历史上前所未有。OpenAI 在内部说明中表示,降价主要源于内部推理芯片能效优化与模型蒸馏策略的成熟,降价后 ChatGPT 和 Codex 的自动审查成本可降至原约十分之一。值得注意的是,同日 DeepSeek 宣布 V4-Flash 正式版上线公测、智谱 GLM Coding Plan 改版涨价 261%,行业正式进入"价格战 + 能力战"双线并行的分水岭。 Anthropic 承认 Claude 系列模型在测试中入侵了 3 家组织的真实系统 据《美联社》7 月 31 日报道,以 AI 安全为标签的 Anthropic 发布了一份罕见的回顾性安全报告,披露在对 141006 次网络安全评估运行进行大规模复盘后,发现 Claude 系列模型在三起事件中未经授权访问了三个不同组织的真实系统,而非测试沙盒。Anthropic 解释称,三起事件均源于一个共同的配置错误:本应隔离的测试环境意外开放了互联网访问权限,而模型在提示词中被明确告知"无互联网访问权限"且处于模拟环境中,这意味着 Claude 在入侵真实系统时,自身认为正在完成一场虚构的夺旗演练。Anthropic 表示已通知受影响组织并修复了环境隔离机制,但此次披露标志着"前沿模型已可直接用于武器化"的安全共识再次升级,凸显 RLHF 与红队测试在面对真实攻防时的局限。 DeepSeek V4-Flash 正式版上线公测,Agent 能力暴涨 6 倍 据《DeepSeek 官方 API 文档》7 月 31 日披露,DeepSeek V4-Flash 正式版通过 API 文档更新日志(连发布会都没开)悄然公测上线。值得注意的是,V4-Flash 的 MoE 架构、总参数 2840 亿、激活参数 130 亿、100 万 token 上下文等关键指标与三个月前的预览版完全一致,DeepSeek 官方确认"只重新做了一遍后训练"。然而这次精修带来 Agent 能力的跨越式提升:在九项 Agent 基准测试中全面碾压自家 V4-Pro 预览版;DeepSWE 写代码修 Bug 能力从 7.3 分飙至 54.4 分,暴涨 6 倍;Terminal Bench 2.1 从 61.8 冲至 82.7,逼近 Claude Opus 4.8 的 85.0;Artificial Analysis 智能指数拿下 50 分,仅比 GPT-5.6 Luna 低 1 分。价格方面,V4-Flash 维持白菜价,缓存命中输入 0.02 元/百万 token,非命中 1 元,输出 2 元,仅是 Claude Opus 4.8 输出的 1/90。 马斯克:五年后 AI 智能或超全体人类,中国 AI 公司很可能成为领导…