斯坦福 CS336 第 10 讲「Inference」：从数学到系统讲透大模型推理优化

邵猛承认此前盘点国内 AI 模型发布节奏时漏掉了 Doubao-seed 在 8-9 月的更新，以及 9 月发布的 M3.1-Flash-Preview。他提到原帖收到不少真人评论，有人指出他"时间都搞错了"，也有人补充 MiniMax 有 M3.1、Kimi 在 K3 之后有 K2.8。

邵猛用 Codex 输入需求、跑一个 Goal，20 分钟做好打字游戏并部署到 ChatGPT Sites，随后加入实时拍摄人像作游戏主角的功能，30 分钟交付。首版做了 36 关，儿子连玩 18 关，他又边看边让 Codex 改，增加了几十关和无限模式。起因是 App Store 上一款打字 App 收费 128 元。

有观察指出国内几家 AI 团队已较长时间未发布新模型，核查显示均超过 3 个月。字节 Doubao-Seed-2.1-Pro 于 6 月 23 日发布、已近 4 个月，MiniMax-M3 于 6 月 2 日发布、超 4 个月，月之暗面 Kimi-K3 于 6 月 13 日发布、超 4 个月，百度 ERNIE 5.1 于 4 月 29 日发布、已近半年。

博主 @samuel_ys92 用 AI 爬取融资规模 1000 万美元以上的 AI 公司、上市互联网公司、量化公司和 neo labs 的 AI 岗位，按北京、上海、杭州、深圳等城市地区聚类，网址 https://jobs.dinq.me，完全免费开放使用。正值秋招季，作者欢迎用户体验并提出需求。

邵猛分析女装电商营销物料「SKU多、相似性高、数量大、更换频率高」的特点，认为同款换色等需求不能靠每次重新生成解决，抽卡和幻觉无法 100% 避免。他主张对素材做分层，把服装、促销信息等拆成原子化、可复用的图层再组合，兼顾一致性与生成成本，并认为可控性和可复用性才是生图应用能赚钱的方向。

Latent Space 新栏目组织 Ben Hylak、Dex Horthy、Alex Volkov 等五位 AI 重度用户在 OpenAI DevDay 2026 后畅谈产品真实体验。

作者解读 Grok Bot 团队的 Lauren @poteto 提出的信任 AI Agent 工作成果的四层“倒金字塔”框架，主张精力按投入从多到少依次投向代码库改进、静态分析、文字性指导和人工审查。

邵猛回忆那似乎是最后一届微软技术大会，也是他最后一次参加技术会议。曾一起做 Windows Phone 和 Windows 开发的朋友们陆续转行，他感慨那个时代终究过去了，甚至没等到被 AI 冲击。

pstack 作者 @poteto 公开了这个 Cursor 官方内置插件的工程原则设计思路，核心是随模型能力提升，把写给智能体的冗长步骤压缩为简短的命名原则。

会飞的汽车？太未来了！ Roadster 真的把 Tesla 和 SpaceX 联动了，搭载 SpaceX 的冷气推进系统。 那么。。刹车似乎确实没那么必要了，遥遥领先，还是遥遥领先！