今日 AI 速览
头条
GPT-5.6 Sol 上线后首个周末：基准、价格、口碑三线开战
OpenAI 新旗舰 7 月 9 日全量上线（ChatGPT、Codex、API），家族三档定价：Sol $5/$30、Terra $2.50/$15、Luna $1/$6（每百万 token）。Terminal-Bench 2.1 上 Sol 标准档 88.8%、Ultra 档 91.9%，超过 Claude Mythos 5 的 88.0%；测评称其编码更快、价格约为 Claude Fable 5 的一半。X 上开发者口碑周末持续发酵，sama 的调侃拿下 4.9 万赞："判断最强模型最可靠的方式，是 elon 又开始盯上我了。"传 Gemini 3.5 Pro 将于 7 月 17 日携 200 万 token 窗口应战。
OpenAI → CodeRabbit 基准 → sama 推文 →
算力资本狂热：Nvidia 市值破 5 万亿美元，"循环融资"质疑同日刷屏 HN
Nvidia 7 月 10 日市值站上 5 万亿美元；同一天 HN 头版热帖（276 分）拆解 Nvidia、CoreWeave、Nebius 之间"我投你、你买我"的循环融资结构。SK Hynix 计划以 280 亿美元 ADR 登陆纳斯达克（史上最大），其 HBM 全球份额 60%、营业利润率 72%。Guardian 则报道微软、亚马逊、谷歌的数据中心碳排放已达法国全国排放量的三分之一：狂热与隐忧同框。
io-fund → Hacker News → Guardian →
研究动态
OpenCoF：用视频生成学推理
推理不一定要写字，也可以"放电影"：Chain-of-Frame 让模型用时间连续的画面帧展开推理。团队开源 OpenCoF-17K 数据集（覆盖 11 类任务）并微调出 Wan-CoF，在四个视频推理基准上明显超过 Wan2.2-I2V-A14B 基线，还引入视觉与文本推理 token 分别承载低层线索与高层语义。
arXiv →Proactive Memory Agent：长程智能体的"行为状态衰减"
命名了一个所有 agent 开发者都撞过的坑：任务要求、先前尝试、诊断结论被埋进不断膨胀的上下文深处或被挤出窗口，关键时刻不再影响决策。论文提出主动式记忆智能体，在需要的时刻把决策相关状态重新浮现给执行体。
arXiv →The Illusion of Equivalency：量化的等效性是错觉
只看准确率和困惑度会误判量化损失：论文提出"正确性一致度"指标，度量量化模型与原模型答对题目集合的重叠。结果显示两者总分相近，答对的却常常不是同一批题，行为已经漂移。对本地部署与量化选型有直接参考价值。
arXiv →工具与产品
Gemini 3.5 Pro：传 7 月 17 日 GA，200 万 token 上下文（现有前沿两倍），预估定价 ~$1.25/$10；因基座推倒重建比原计划晚了六周。
TechTimes →Google 搜索：全面切换为 Gemini 3.5 Flash 生成式摘要，替代传统链接排序；出版商引荐流量与 SEO 逻辑面临重构。
日报汇总 →Mistral：发布机器人单目导航模型，仅凭普通摄像头即可导航，无需激光雷达与深度传感器，显著拉低自主机器人成本。
Meta：自研推理芯片 Iris 定于 9 月投产（Broadcom 设计、台积电代工）；同时宣布 2027 年前算力翻倍，并在加拿大阿尔伯塔投建 100 亿美元数据中心。
Builder 观点
@swyx：Jevons 悖论正在超出软件范畴，前提有二：人类学会驾驭编码智能体，且编码智能体正"突破封锁"蔓延到一切知识工作。"发生在编码上的不是例外，而是先兆。"
X →@levie（Box CEO）：软件岗位招聘增速反而跑赢其他行业。生产成本一旦崩塌，人们想要的是多得多的软件；只要岗位没有被完全自动化，就需要更多懂系统的人。"智能体带来的将是富足，而非替代。"
X →@thsottiaux（OpenAI Codex 负责人）：细数 5.6 Sol 修掉的历史吐槽（慢、代码水、前端差、滥用 useEffect）后向社区提问"下一个修什么"；另一条教程教用户通过 CLIProxyAPI 把 Claude Code 指向 GPT-5.6 Sol（起名 claudex），获 3.9 千赞，抢人抢到对手客户端里。
X →@sama：转评一张用量账单："这种用量下 30% 的成本都花在 fable 上？"模型大战的火药味已经从基准榜烧到了账单。
X →播客精华
No Priors
对话 Booking Holdings CEO Glenn Fogel：AI 时代的旅行、泡沫与护城河
亲历过 99 年泡沫的 Fogel 提醒：当年前后约 1500 家公司 IPO，最后活下来二十几家；投机泡沫烧掉很多钱，但也孕育真创新。 "世上没有护城河这回事"：OpenAI 砍掉 ChatGPT 内购物结账后 Booking 股价应声涨 8%，外界严重低估了旅游业的监管与供给侧复杂度。 谈 AI 与就业：机器翻译让 Booking 40 种语言的人工翻译岗位全部消失，技术替代自古有之，这次真正的变量是速度。 即便如此，他仍称"现在是有史以来最激动人心的建设时刻"。
社区热议
HN：《Mesh LLM：基于 iroh 的分布式 AI 计算》(266分) · 《用 100 行 Lisp 写一个智能体》(165分) · 《数十亿涂鸦揭示人类概念的隐藏文化差异》(104分) · Show HN《Mindwalk：在代码库 3D 地图上回放 coding-agent 会话》(76分)
Mesh LLM → Lisp Agent → Sketches → Mindwalk →Reddit：今日多次抓取均不可用（接口报错），暂缺。
GitHub 趋势
今天是"泡沫叙事"与"生产力叙事"同日加码的一天：资本端 Nvidia 破 5 万亿、SK Hynix 冲史上最大 ADR、循环融资遭拆解，连美联储都请来最大的 AI 多头研判经济影响，Glenn Fogel 那句"99 年我在场"显得格外应景；而 builder 端，swyx 与 levie 同日搬出 Jevons 悖论，用软件招聘逆势增长论证：成本崩塌带来的是需求爆炸而非岗位消亡。两种叙事都在加速，2026 年中最诚实的结论可能是 Fogel 那句话：没有护城河，也没有确定性，唯有每天继续造东西。