GPT-5.7 官方页还是 404，别急着替它跑分
没进官方目录的名字，先别替它把结论写完。
小岛AI 日报
总第 41 期 2026 年 09 月 06 日 · 星期六 13 条信号
XIAODAO AI DAILY 捕捉信号，附带判断
头版 · 本日长文
Agent 能上网前，先补一张外发日志
OpenAI 的公开复盘提醒我们，给 Agent 开浏览器和外部工具时，真正要一起上线的是可回放的外发记录、安全停止条件和真人接管。
读全文 →1300 万行 Lean 代码，没替人类发现新数学
Claude 用 11 天把费马大定理做成可复跑、可检查的形式化证明。真正值得盯住的，不是数字有多大，而是验证一项复杂结论的成本开始被改写。
写代码选模型，GitHub 把 67% 成本差塞进路由器
HydraFusion 已在 Copilot CLI 开放研究预览。它不是替你找最强模型，而是把升级、审查和成本核算装进一次任务，附三条试用护栏。
GPT-5.7 官方页还是 404，别急着替它跑分
官方目录、变更日志和直达模型页都没有 GPT-5.7。把截图、路由痕迹和跑分转述写成结论之前，先过一遍这份发布核验清单。
查 SaaS 账单的 Agent，先学会不花钱
xAI 的采购 Bot 案例里，最可抄的不是超过 10 万美元的节省，而是把查账、找人、出方案和对外发信拆成三条权限线。拿走一份可在下一笔续约上试跑的检查表。
行业 INDUSTRY
模型 MODELS
Claude Fable 5.1 与 Mythos 5.1 发布
大上下文和低缓存价很香，真正该算的是你那条链会不会变长。
GPT-6 Astra WebDev Arena 榜首
跑分多 35 分不等于上线少 35 个坑，先看你的验收链。
产品 PRODUCTS
Project HydraFusion 研究预览
多模型不是堆卡牌，路由错一手照样把成本打回去。
xAI 的采购智能体发现超过 10 万美元节省
Agent 真值钱的地方，往往不是聊天，是账单里那条没人看的 SKU。
Gemini API 发布 Lyria 3.5 公测
音乐生成越像产品，版权和控制感就越不能只靠一句提示词。
GitHub Copilot 下线多款模型
模型下线不是公告小字，团队的默认工作流会先踩到。
研究 RESEARCH
Claude 用 11 天完成费马大定理的完整形式化证明
它没突然学会发明数学，先把验证这堵墙推薄了。
技巧 TIPS
Claude Platform 更新 ant apply 与资源即代码
把 Agent 配置塞进版本库，才算从演示走到能回滚。
Android Studio Quail 4 将 Android Skills 打包进 IDE
把领域知识做成 Skill，比让模型每次临场背文档靠谱得多。
GPT-6 Astra 提示词指南
模型更听话之后，项目里的模糊规则反而更容易被放大。
本期完 / SAIL WITH XIAODAO AI