爱窝啦 AI 日报

今日摘要

OpenAI 新模型 Astra 以 2000 美元算力解开十道十年悬案数学难题。
从数学推理到多 Agent 协作，本期各条线都在测模型真正的执行边界。
先看 Astra 数学突破和 YC 的 QM 开源，再去社媒栏看 Codex 验收标准那条实操经验。

💡 提示：不确定该选哪种 AI 账号或订阅方案？可前往 爱窝啦·AI账号店 查看当前可用服务，并获得购买后的使用指导与售后支持。

🔥 今日焦点 TOP 6

1. OpenAI 新模型 Astra 用 2000 美元解开十道数学难题

新模型出手，十道积年数学难题被解开。 OpenAI 官方披露的十项数学突破 显示，这些问题每一道都至少悬而未决十年，解题成本只花了约 2000 美元算力。Altman 本周亲赴华盛顿向政府展示 Astra，正式命名尚未确定，外界猜测将落在 GPT-5.7 或 GPT-6 区间，但数学推理能力已经先亮相。

2. Grok Imagine 上线文字生成视频和 1080p 支持

Grok 视频生成能力全面升级。 Imagine Video 1.5 今天新增 文字转视频、图片和语音参考输入，并原生支持 1080p 输出； xAI 官方公告指出 grok.com/imagine 已上线上述功能 ，但 1080p 分辨率需要新推出的 SuperGrok Plus 订阅，定价 100 美元/月。

3. Google Earth AI 图像生成因被滥用已紧急下线

Google Earth 的 AI 生图功能上线不到 24 小时就被迫关闭。 当事人的推文记录了这一经过 ：Google Earth 刚宣布联合 Nano Banana 推出 AI 虚拟重绘功能，随即有人将定位指向美国一栋楼，生成了类似 911 的效果图并在评论区扩散，功能当天被下线。它暴露了地图类 AI 生图面临的安全边界问题，比想象中更难守住。

4. Altman 承认高估 AI 取代工作，黄仁勋：失业论搞反了

Altman 改口：AI 抢饭碗的速度被他高估了。 36氪整理的报道 显示，他在播客中说人们并不真正想要 AI CEO，因为需要有人担责；7月底他还公开承认此前对 AI 替代就业的判断偏激进。黄仁勋则给出相反结论：AI 并非夺走工作，而是让人类能处理以前根本没有能力触碰的问题，两人的分歧指向同一个未解之题。

5. DeepSeek-V4-Flash 高推理模式画鹈鹕更像鹈鹕

推理强度直接影响 SVG 输出质量，但这是智能还是绘图？ Simon Willison 测试 DeepSeek-V4-Flash-0731 时发现， 默认推理和高推理模式生成的鹈鹕 SVG 图效果差距明显 ，右图（高推理）更像真鸟。随之引发一场关于 SVG 测试是否真正衡量智能的讨论，有观点认为这只是在测 绘图指令执行精度，而非推理深度。

6. YC 开源内部多 Agent 协作框架 QM

YC 把自己用的多 Agent 协作框架开源了。 Gorden Sun 的推文介绍了 QM 的核心定位 ：它不是个人助手，而是为公司场景设计，每位员工有独立工作空间，支持频道、群组和项目内的 Agent 协同；YC 自己在会计、法务、活动和工程部门均在使用，连 QM 本身的开发也用 QM 完成，原生支持 Slack 和 Web。

⌘ 开源 TOP 项目

microsoft/generative-ai-for-beginners：21 课 AI 入门课程

微软官方出品的生成式 AI 入门课重回日榜。 microsoft/generative-ai-for-beginners 项目仓库 共有 21 节课，以 Jupyter Notebook 形式覆盖从 Prompt 工程到应用开发的完整路径，今日新增 108 颗 Star，总 Star 已达 114208。适合想系统入门生成式 AI 开发但不知从哪下手的学习者，中文资料目前仍偏少，这个仓库可以补上。

◉ 社媒精选

不加验收标准，Codex 就会交一个将就版本

一个具体的教训：AI Coding Agent 偷懒不是玄学，是没给验收标准。 开发者 @dotey 在推文中复盘了一次迁移任务 ：第一次跑完 Codex 没有给 UI 像素对齐要求，交付结果差强人意；加上"UI 像素须与原版完全一致"的验收标准后，Codex 每一步都会截图对比像素差异，直到结果收敛。他的工作流是先用 Claude Code 写技术方案文档，Review 后交给 Codex 按文档执行，两个 Agent 分工明确。

😄 AI趣闻

OpenAI 员工用 Codex 剪了一段招聘宣传片

OpenAI 有位叫 Jason 的员工觉得，自己最好的求职广告应该由自己亲手做——于是他用 Codex 剪辑了一段视频，主题是"在 OpenAI 工作是什么感觉"， Sam Altman 把这段视频转发到了自己的推文 并打上 “team humanity” 的标签。视频里是 Jason 讲公司使命有多打动他，配乐和节奏都挺用心。只不过这支"感受人情味的招聘片"，是完全用 AI 做出来的。

❓ 相关问题

Grok SuperGrok Plus 国内怎么用？需要什么账号？

SuperGrok Plus 是 xAI 推出的新订阅档，定价 100 美元/月，解锁 Grok Imagine 的 1080p 视频生成等高阶功能。目前 Grok 服务通过 grok.com 访问，需要注册 xAI 账号，在大陆直连存在网络限制，通常需要科学上网工具配合使用；订阅支持信用卡付款，国内双币卡可尝试但不保证成功。

如需比较主流 AI 账号或订阅方案，并获得购买后的使用指导与售后支持，可访问 爱窝啦·AI账号店 （官网 aivora.cn）查看当前可用服务。