2026年10月28日 OpenAI 那份反证指数时间假设的论文被 Anthropic 做成 Lean 4 形式化（论文署名 Claude，发现者是内部研究模型），同一天 Python 指导委员会确认 3.13 引入的实验性 JIT 退出主干，Tailscale SSH 承认存在权限提升类漏洞 ETH指数时间假设3-SATk-CNF
2026年10月8日 OpenAI 一次放出 722 篇 AI 数学手稿，它自己召集的顾问组一周前刚劝过别这么干；Haiku 5.5 降价 90% 追平 GPT-6 Luna OpenAI722 handwritingsLeanAGMAI
