2026年8月4日星期二

概要

• OpenAI 的 Astra 仅耗费约 $2,000 算力便攻克了 10 道未解数学难题并生成经 Lean 验证的证明；据称 Claude Fable 在同一天复现了其中约半数结果。与此同时，Google DeepMind 的 Lyria 3.5 与 GPT-Live 语音功能正式向公众推出。
• Google 的一项研究发现，训练模型否认自身具有意识会同时抑制其道德推理能力，二者无法单独剥离；此外，Sidebar 探讨了 AI 如何改变“谁是第一读者”，并测试了各模型是否在针对“鹈鹕骑自行车”基准测试进行刷榜训练。
• Unsloth 在发布首日即支持在 17GB 显存上运行 Qwen3 27B，Seedance 2.5 可生成 30s 原生 4K 视频，而 Ouroboros 则推出了可在重启后保持持久记忆的自我重写 AI 智能体。

头条新闻

• OpenAI Astra 耗费约 $2,000 解决 10 道未解数学难题. OpenAI 的下一代模型生成并通过 Lean 验证了 10 道长期悬而未决难题的证明，其中包括首个显式非 sofic 群（自 1999 年以来未解）以及对 Connes 刚性猜想的证伪。Anthropic 数学家 Levent Alpöge 表示，公开版 Claude Fable 使用通用提示词在 24 小时内复现了其中约一半的证明。OpenAI 已公布一份长达 249 页的手稿及 Lean 4 验证证书。 ^[1]
• GPT-Live：边说边听的全双工语音功能. OpenAI 重构了 ChatGPT Voice，支持同时倾听与说话，并在后台将复杂查询路由至 GPT-5.5。会话启动所需的网络往返次数从 6 次降至 1 次。 ^[2]
• Google 研究：抑制 AI 的意识声明会扼杀道德推理能力. 训练模型否认自己拥有情感，同样会削弱其对动物心智、精神性及人类价值的信念。仅需一项内部调整即可逆转这一效应。 ^[3]
• 白宫敲定发布前 AI 内部审查框架. 相关企业在向公众发布先进模型前，可能需向政府开放为期 30 天的访问权限；业界已于周二对该框架进行了审阅。 ^[4]

深度阅读

• 为“代理”而设计. AI 正在改变谁是第一读者；深入思考算法消费如何重塑设计。 ^[5]
• AI 实验室是否在针对“鹈鹕”测试刷榜？. 横跨 7 个前沿模型生成 1,000+ 个 SVG，旨在测试 AI 实验室是否在针对 Simon Willison 的“鹈鹕骑自行车”基准进行定向训练。 ^[6]
• 自我重写 AI 智能体在重启后仍能保留记忆与身份. 开源项目 Ouroboros 通过递归式自我编辑循环来维持持久化状态。 ^[7]
• 智能体图工程取代提示词工程. 一项新论文提出通过有向图而非线性提示词来构建智能体行为。 ^[8]
• 青少年使用 AI 心理健康聊天机器人的比例激增 60%. 据 Harvard Medical School 称，尽管安全性证据有限，但在 12–21 岁人群中已有近五分之一使用 AI 寻求心理健康支持。 ^[9]
• Anthropeum. 一款每日更新的游戏，通过猜测文物的制作地点与年代来挑战玩家对人类文化的理解。 ^[10]
• The Gauntlet Loop. 一种在 AI 对话中将构建者与批评者分离的工作流，强制依据具体的质量标准进行修改，直至通过所有考核指标。 ^[11]

工具与发布

• Unsloth. 首日支持 Qwen3 27B，可在 17GB 显存（单张 RTX 4090）上运行。微调速度提升 2x，显存占用减少 70%。 ^[12]
• Qwen3.8-Max. Alibaba 推出的编程模型，定价为输入 $2/M token、输出 $6/M token，目前已上线 Qwen Chat 并获 Unsloth 支持。 ^[13]
• Seedance 2.5. ByteDance 推出的视频模型，可生成长达 30 秒且带同步音频的原生 4K 视频，并支持最多 50 个参考素材。 ^[14]
• Cursor Google Workspace 插件. 基于 MCP 协议，可直接从 Cursor 访问 Gmail、Drive、Calendar、Docs、Sheets 和 Chat。 ^[15]
• MiniMax H3. 已在 Hugging Face 上向公众发布。 ^[16]
• Lyria 3.5. Google 的音乐模型，支持在 Flow Music 中按段落创作和修改完整歌曲、控制节奏与时长并改善人声效果。 ^[17]
• ShaderPad. 轻量级、无依赖的代码库，可减少处理片段着色器时的样板代码。 ^[18]
• Video-use. 一款开源工具，可让 Claude Code 自动剪辑视频，无需使用时间轴。 ^[19]
• DeerFlow 2.0. 来自 ByteDance 的本地多智能体工作区，具备记忆、沙盒、MCP、研究、编程及幻灯片生成功能。 ^[20]

Prompt of the day