今天最值得细读的是 @坚定的貂 带来的 Gowers 长文与随之展开的数学之死大讨论——AI4Math harness 被下一代模型碾压、写 paper 进入套利窗口、消化比首解更值得记功，一路脑洞到 HPU。Opus 5 实测进入第三天风向转负：执行掉链子、safeguards 连问块开发板都误伤。晚间 Codex 又一轮 reset，@活泼的海龟 把它拆解成一门操纵注意力的逼单生意。 ...

今天最好玩的是 @今天群内信息量极大 的新硬件项目：用 ESP32 把语音输入伪装成一块蓝牙键盘，绕开所有系统与输入法限制，固件几乎全程由 AI 自主蹬出。另一条线是两张疑似伪造的 Anthropic 官方公告截图在群里流传，从 Max 20x 被大规模薅羊毛讲到全球宕机，截图真伪存疑、但免费白嫖教程满天飞是真的。方法论侧最值得抄走的是 @谨慎的松鼠 的发现——让 Codex 专门开一个 t...

今天是 Opus 5 实测次日：第三方测评发现它靠饱和式自测换交付质量、综合成本反而可能反超 Fable，官方也首次劝用户别把 effort 拉满，是最值得细读的一组材料。凌晨 OpenAI 一场大宕机，白天换来全员 reset，群里有人痛失重置卡、有人懒人有懒福。方法论侧，读不进 AI 输出的困扰接上前两天的认知带宽讨论，还引出一篇认知科学论文。 Opus 5 实测次日 第三方测评：饱...

今天的绝对主角是 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 交出八小时一气呵成的卡牌游戏。实战侧最能落地的...