主页
覆盖范围:约 2026-07-31 至 08-01 的新内容。本简报为 08-03 补生成(当日定时任务未运行),全部条目基于实际搜索/抓取并标注来源。
今日头条
1. OpenAI 正式官宣 Astra:发布 10 个开放数学问题的解答,全部 Lean 形式化 OpenAI 今日发布数学报告,首次官方确认下一代主力模型家族名为 Astra:内部版本解决了 10 个悬置至少十年的数学与理论计算机科学开放问题(高维几何、编码理论、群论、量子复杂性、格密码、极值组合),其中一个证明确立 non-sofic 群的存在性;10 个证明全部在 Lean 中形式化并开源,生成全部解答的 token 按 Sol API 价格计约 2000 美元。Noam Brown 坦言未攻克任何千禧年大奖问题,但称每题投入不大,「测试时计算还能推得更远」。erdosproblems.com 运营者 Thomas Bloom 称其为「big news」。 来源:The Decoder 2026-08-01 · OpenAI 报告 PDF · Lean 仓库
2. AI 连破未解数学题,数学界五味杂陈 The Decoder 同日刊出长文梳理数学界反应:Erdős 问题清单自圣诞以来 15 题告破、11 题有 AI 参与;Gowers 自述被 GPT 5.6 Pro「一击解出」耕耘已久的问题,「像脚下地毯被抽走」,担忧「数学文化的可能毁灭」;陶哲轩在 ICM 2026 演讲中类比 20 世纪初的基础危机,提出「证明过载」;Saha 则视之为「不知疲倦的博士生」级生产力工具;3000+ 数学家签署 Leiden 宣言要求透明使用与人类责任制。 来源:The Decoder 2026-08-01 · Tao ICM 2026 讲稿 · Leiden Declaration
3. Anthropic:Mythos 模型在主流密码算法中发现新弱点 Anthropic Frontier Red Team 近日发布两篇研究,称未公开发布的 Claude Mythos Preview 在两个密码学算法中发现了新攻击,包括对约减轮数 AES(全球最常用的对称加密标准)的数学弱点——此前人类专家多年未发现。这被视为前沿模型网络安全双刃剑能力的重要数据点(本系列 07-26 深度文档曾覆盖相关评测)。 来源:Anthropic Research · The Decoder · CyberSecurityNews
官方发布与新功能
- OpenAI 配套发布每题推理过程走读 PDF,对研究长时程推理很有参考价值。
- Sonnet 5 促销价倒计时:$2/$10 促销 8 月 31 日截止;Opus 4.1 API 8 月 5 日退役。Claude Platform release notes
- 其余官方渠道今日无重要更新(周六)。
Agent 技术精选
- Astra 的工程含义:据报道其核心卖点是多 Agent 长时程协作(数小时至数天),关键难题是误差复利与上下文膨胀下的自我纠偏——这正是当前 Agent 工程的核心开放问题。The Decoder
- Epoch AI「FrontierMath: Open Problems」:约 50 道真·未解问题,AI 已解 3 题(≈6%);「Major Advance」「Breakthrough」两档仍为 0。Epoch AI
学术与课程
- CMU Ramsey 理论论文(2026-04,arXiv:2604.21187):SAT 求解器 + LLM 生成代码 + 形式化验证组合解开放问题,自评「黄金时代」正在到来。arXiv
- Kirwin Hampshire《数学的暗夜》(7 月末,Substack):从精神性角度质疑 AI 数学的意义,称 Leiden 宣言是「一声捂住的尖叫」。Substack
- 课程方面今日无重要更新。
行业动态
- Thinking Machines Inkling Small(昨日发布)持续发酵:Artificial Analysis 称同尺寸及以下开放模型无出其右;详见今日精选主题。Artificial Analysis
- AlphaFold 团队解散余波:Jumper、Adler、Pritzel 转投 Anthropic 的报道被多家媒体跟进。The Decoder
今日精选主题
Thinking Machines Inkling:开放权重路线深读
选择理由:昨日发布的 Inkling Small(276B/12B 激活,智能指数仅比旗舰低 1 分)把「效率而非规模」路线推到台前;结合 7 月 15 日旗舰 Inkling 的完整技术报告(MoE 架构细节、45T token 多模态预训练、30M rollouts 大规模 RL、可控思考档位、校准与反审查训练),这是目前开放权重阵营信息最完整的一手样本。今日头条的数学主题材料虽多,但适合单独成篇(注:已于 08-03 深度文档覆盖)。
备选主题(可回复选择,默认按上面执行): 1. AI 数学发现与长时程推理(→ 已由 08-03 文档覆盖) 2. Mythos 密码学弱点发现与 AI 安全双刃剑
补生成时间:2026-08-03 · 信息收集方式:WebSearch + 原文抓取 · 单一来源条目已标注「据报道」