2026年10月28日 OpenAI 那份反证指数时间假设的论文被 Anthropic 做成 Lean 4 形式化（论文署名 Claude，发现者是内部研究模型），同一天 Python 指导委员会确认 3.13 引入的实验性 JIT 退出主干，Tailscale SSH 承认存在权限提升类漏洞 ETH指数时间假设3-SATk-CNF
