今天AI圈两股力量对撞。xAI给Grok加了视频分析，Musk一句"任意视频"就把门槛拉平。另一边，Gary Marcus公开喊话：Astra的数学成绩被吹过头了。产品在加速，质疑也在加速。
Grok 支持分析任意视频
来源：X / xAI（Elon Musk）
Musk在X上宣布，Grok现在可以分析任何视频。没有更多细节，就一句话加个演示链接。
视频理解一直是多模态的硬骨头。Grok直接说"任意视频"，口气不小。xAI最近动作密集：前几天刚上CLI工具，现在又补视频分析，明显在铺产品拼图。能不能打，丢个长视频试试就知道。
OpenAI Astra 数学成果被指过度吹捧
来源：Gary Marcus 博客
Gary Marcus发文给Astra降温。他说，擅长数学不等于擅长一切。数学好验证、好生成合成数据，开放世界的问题可没这么好模拟。OpenAI也没公开方法细节。
昨天全网都在吹Astra证明10道数学难题，今天就被泼冷水。Marcus说得有道理：数学是AI最容易刷分的科目。真正难的是开放场景，而且方法不公开，谁也说不准含金量。吹和黑之间，先看细节公布没有。
Codex 用 Sol 指挥 Luna Max 省额度翻倍产出
来源：X：阿易 AI Notes
高阶玩法：让Sol在~/.codex/agents/下创建luna-worker.toml子代理，模型设gpt-5.6-luna、推理强度拉满。Sol负责拆任务、审代码，具体实现自动丢给Luna Max。
这招聪明。贵模型当大脑，便宜模型当手脚。额度省一半，产出翻一倍。Codex的Agent配置化越来越像正经工程了，中高阶玩家已经开始拼调度效率。
animated-voiceover 开源：一人干翻动画工作室
来源：X：阿易 AI Notes
前字节产品经理开源了animated-voiceover，一套喂给Codex/Claude Code的动画科普视频制片流程，MIT协议，90%自动化。作者说40块钱、2分钟出一条电影感科普动画。
一个人、一条指令、40块、2分钟出片。传统动画工作室看到这数字得冒冷汗。当然上限是科普动画，不是皮克斯。但工具化AI内容生产这个趋势，挡不住了。
OpenAI 桌面应用"有点乱"，年底实现"零标签"
来源：IT之家
布罗克曼承认，合并Codex后的新版ChatGPT桌面应用界面混乱，用户找不到聊天记录。目标年底去掉Work标签页。整合后Codex用户几天内从500万涨到1000万。
用户数翻倍，界面却乱了。OpenAI的整合速度跑在了体验前面。承认"有点乱"挺诚实，但"零标签"画饼容易、落地难。1000万用户可都盯着呢。
今日还值得关注的：
- smevals：Simon Willison的小型评测套件，跨模型跑评测、自动打分、生成HTML报告
- Token Saver：开源MCP扩展，用本地混合RAG把Claude读PDF的token消耗砍掉92%-99%
今天5条消息一条主线：AI在快速落地，质疑也跟了上来。产品端拼功能，学界喊冷静，开发者已经在算怎么省额度。热闹归热闹，最后还得看谁的东西真能用。明天继续。