2026年10月28日 OpenAI 那份反证指数时间假设的论文被 Anthropic 做成 Lean 4 形式化（论文署名 Claude，发现者是内部研究模型），同一天 Python 指导委员会确认 3.13 引入的实验性 JIT 退出主干，Tailscale SSH 承认存在权限提升类漏洞 ETH指数时间假设3-SATk-CNF
2026年10月24日 Kimi 把「能做但选择不发」写进了 K3.1 Pro 的发布说明，承诺开源权重的攻击性网络能力一直压在自研前沿之下；同日 macOS 的 gcc 二进制被拆开，发现里面是 clang 换了个名字，Local Wikipedia 也只是维基 Nearby 的封装——今天上位的东西大多是外壳 Kimi K3.1 ProMoonshot开源权重cyber capability 自我限制
