2026年10月28日 OpenAI 那份反证指数时间假设的论文被 Anthropic 做成 Lean 4 形式化(论文署名 Claude,发现者是内部研究模型),同一天 Python 指导委员会确认 3.13 引入的实验性 JIT 退出主干,Tailscale SSH 承认存在权限提升类漏洞 ETH指数时间假设3-SATk-CNF
2026年10月4日 Kolibri 把训练数据和技术报告一起摊开;同一天 OpenAI 安全负责人说文化「坏了」、LeCun 说灭绝风险「零担忧」;Cloudflare 请所有人来它上面重建 Git KolibriAleph Alphasovereign modelopen-weight