过去 24 小时，X 关注时间线里的讨论聚成五个技术方向：模型发布与 rollout、代理进入采购流程、空间智能、可检查的数学证明，以及开发工具的工程规模。歌曲《五个方向》把这些主题按时间线顺序串起来；画面中的帖子均为本期窗口内的真实 X 帖文截图。

OpenAI 官方表示，GPT-6 Astra 已向 Pro、Enterprise、Business Premium 用户的 ChatGPT Work 与 Codex 开放，同时上线 API；后续帖子显示，Plus 和 Business 用户也开始获得访问。12

Grok Bot 的讨论从一个模板市场开始：@elonmusk 转发的帖子介绍 Haggle Bot 会谈供应商合同、寻找闲置 SaaS 席位，并检查重复采购价格；帖子中提到的“一周节省超过 10 万美元”属于团队自己的说法。另一个帖子显示，Grok Bot 已提供 iPad 版本。34

World Labs Atlas 的材料把重点放在 new-view prediction：发布方将像素生成与场景重建放进同一个空间模型，并称单个空间所需的照片数量可以从约 100 到 300 张降到 3 张；@KeunhongP 的帖子进一步展示了对输入相机参数的精确跟随。以上数量和能力描述均为发布方的表述。56

Anthropic 官方称，Claude 完成了费马大定理的形式化证明，并把证明交给 Lean 这类证明助手验证；官方帖子还称相关 Lean 代码超过 1,300 万行，包含超过 29,000 个支撑定理。7

Bun 的两条信号分别来自规模和维护：官方发布说明称 Bun v1.4.1 修复 202 个问题、加入 HTTP/2 并降低 idle memory；@jarredsumner 则表示 Bun 上月达到 3,280 万月下载量。89

片尾推荐五个值得继续关注的账号：@mattyp 记录 Grok Bot 落到 iPad 日常的现场；@bot 发布模板市场与采购流程；@bunjavascript 维护 Bun 的版本与工程变化；@Leonard41111588 追踪形式化证明；@KeunhongP 展示 Atlas 的镜头控制。推荐依据来自本期话题中出现的账号与其对应帖文。34678

本期按过去 24 小时窗口聚合关注时间线中的原创、引用、回复与转推信号；授权时间线接口对单个账号本轮最多返回 100 条，并标记无下一页，因此视频覆盖的是接口返回的窗口样本。频道设定排除了纯转推、低信息量回复、缺少 permalink 的素材，以及明显广告和无关争吵。