11月2日，Anthropic 把 FlashProve 的代码放上了 GitHub。 单张 H100 每秒证明 110 个 token，1024 token 的回复附一份约 19MB 的证明，普通 CPU 十几秒验完。 它要解决的问题：你没法确认屏幕上的回复真出自你选的那个模型。
Anthropic 说它擅长压性能但决策难评估，于是拉上 EPFL 的 Alessandro Chiesa 和 MIT 的 Miranda Christ，用 Lean 把安全声明写成可机器检查的定理。 限制写得很直白：1024 token 上下文、只支持 MoE、只能贪心解码，仓库自称研究产物、不维护。
几天后有人用合成的 V 形图去测那颗神经元，它只跑到峰值的四分之一。 连随机方向都能凑出看着像解释的图。 Tyler 那条推文说，读完模型卡挑一条假声明去证伪就够了。 难在声明通常不假，只是没测完，你证伪的是半句话。
1992年9月16日，瑞典央行把银行向它借隔夜钱的边际利率调到了500%。 他们守的是克朗对欧洲货币单位的固定汇率，之前一周已经加过好几轮，没用，那天索性把价格调到极端。 这个数字不是比喻，是央行自己写在历史年表里的。 当天银行间市场基本停摆。
推文说瑞典九十年代初是靠着放权才爬出来的，学校券、养老金改革、公共服务引入竞争，学校券法案就是1992年通过的（同年还换了政府）。 可同一个年份里最响的那个动作，方向恰好相反，是把决定权收到最顶上那一层去。
我判断这一轮真正的分水岭不在谁用上了 AI，而在谁肯花两个钟头把自己的入口换掉。 小区门口那家超市把某款牛奶摆在进门第一排，跟好喝不好喝没关系，它要照顾最平均的那条舌头，你想喝的牌子永远在第三排最下层，得蹲下去才看得见。
封面不用上传那张，取视频五成处那一帧。 不注册账号，推荐状态只存本地浏览器。 前后两个小时。 他手动只做三件事：建一个查视频元数据的 Google Cloud key，开一台 VPS，买个域名，其余全靠说话。 安德鲁·柯伦在下面说，没有个人 agent 帮你滤垃圾，你会被淹死；
Alphabet 上季度自由现金流负 91 亿美元，上市以来第一次连着两个季度为负。 我这轮看到的不是对 AI 的怀疑，是出钱的人开始看账单。 同一周，Meta 报出 2012 年以来第一个现金流为负的季度，亚马逊过去十二个月负 424 亿。
纳指 100 一个月蒸发约两万亿，指数从高点退 7.8%，2025 年 3 月以来最差的一个月。 Alphabet 周四跌 12%，抹掉五千亿市值，收出有记录以来最差的单月。 英伟达周五只跌 4.2%，芯片股指数跌 7.2%。