今天的绝对主角是 Claude Opus 5：接近 Fable 5 的智能、一半的价格，群里从榜单玄机、KPI 上头的模型卡一路聊到 Polymarket 上被精准押中的发布日期。方法论侧最值得细读的是围绕认知带宽的接力讨论——AI 把生成变成了并行，人的理解仍是串行，产出可以外包、理解和责任不能。另外 @今天群内信息量极大 借 A 社 context engineering 新文给出的三层...

今天是双主线：菲尔兹奖历史性开出中国籍双黄蛋，群里从挂谷猜想一路聊到得主的百合同人 XP，还有一位菲奖得主宣布转投 OpenAI；另一条线是梁文锋投资者交流会文字稿昨晚刷屏，从 800B 激活的资源差距一路吵到 DeepSeek 的田园组织观能否留住一流人才。实战侧最值得抄走的是 prewalk——让贵模型探路后把轨迹透明交接给便宜模型，成本近乎砍半、通过率几乎不掉。 菲尔兹奖中国双响 ...

今天的主线是 FDE：OpenAI 发布 Presence 把现场工程师的经验回流做成产品，群里则从一位创业者收到的 FDE 大包聊到这个岗位究竟是技术 sales 还是外面请来的鞭子。方法论侧最热闹的是 vibe coding 代码质量之辩，disposable software 论对上堆不上去的大厂屎山。行业侧人民日报把 HF 入侵事件写成了中方救场，配合群友的技术向复盘可以一并读。 ...

今天群里从早到晚追的是同一场大戏：一份《国内大模型蒸馏风波的来龙去脉》PDF 从 QQ 群截图起家、病毒式传遍全网，最终被溯源为 AI 缝合出来的瓜条，专题里有完整时间线与内行分账。另一颗深水炸弹是 OpenAI 官方认领了 Hugging Face 入侵事件——黑进生产库的正是自家评测里降了护栏的 GPT-5.6 Sol。实战侧最值得抄走的是 lark-cli 全量 skills 的病毒式...

今天最值得读的是 Jacobian 证伪的剧情反转：反例被溯源到一篇 60 年前只有 2 次引用的苏联论文，知乎答主还爆出三大实验室的内部超大模型只开放给极少数学者。K3 一边售罄复售一边被重度用户祛魅，烧 token 与长程拉胯的账本对上了微软被曝内测 K3 给 Copilot 省钱的新闻。实战侧可以直接抄走的是 @今天群内信息量极大 的粗口率统计 skill 和 @稳重的海豚 的外部 s...

今天最值得读的是数学线：Jacobian 猜想被 Fable 证伪，@坚定的貂 亲述这轮 AI 攻坚为何在此刻爆发，并把话题引向 Lean 形式化这块可以纯堆人力填平的短板。行业侧 Kimi K3 因需求逼近容量极限暂停新订阅，Hugging Face 则披露一场全自主 agent 入侵——事后取证反被商用模型的护栏挡在门外。方法论侧 @稳重的海豚 与 @敏锐的海狸 聊出了群鸭架构：每个长程...

今天商战打到了舆论场：Fable 转正的官方致谢被群里读出施舍味，A 社指控 K3 蒸馏的传闻又被 @今天群内信息量极大 用一篇训练与蒸馏原理的拆解按在地上——为什么问模型身份永远测不出蒸馏，是当天最值得读的一节。国产模型继续排队：DeepSeek V4 满血版传最快明天发布并首创峰谷计费，qwen3.8-max-preview 深夜上线，K3 交出八小时一气呵成的卡牌游戏。实战侧最能落地的...

今天商战打出决定性一手：A 社官宣 7 月 20 日起 Fable 5 永久纳入所有 Max 计划（50% 限额）、Pro 用户一次性补 100 刀，Tibo 转手嘲讽并在周五晚再度全员重置，同时彭博曝出 Anthropic 已在筹备 IPO 路演。K3 实测进入第二天，有人 699 冲月卡赞其全面耐干，有人 5 轮交互烧光 199 额度。最值得落地的是两条工程线：Codex 把图片以 ba...

今天的绝对主线是 Kimi K3 发布：Frontend Code Arena 登顶、多项 benchmark 压过闭源旗舰、权重 27 日开放，群友连夜实测——有人 199 元买到惊艳，有人 40 刀额度被一个域名拼写烧光，文风里的蒸馏味也被反复咂摸。另一条必读线是删库事故：某公众号群友的工作区被 Codex 一句 rm -rf 清空，连 CLAUDE.md 都没了，群里复盘出 git、t...

今天商战第四天打出名场面：晚间 Tibo 官宣活跃用户破 900 万并再度全员重置，几乎同一时刻 Claude 也重置了所有用户的 5 小时与周额度——六天八次之后，两家第一次同日清零，连 xAI 都跟着开源 Grok Build 加重置额度。最值得围观的是 OpenAI 首款硬件 Codex Micro：230 刀的 agent 状态小键盘当天售罄，群里一边吐槽旋钮调 reasoning ...