October 28, 2026 OpenAIによる指数時間仮説の反証論文をAnthropicがLean 4で形式化（論文署名はClaude、発見者は内部研究モデル）、同日Python運営委員会は3.13導入の実験的JITのメインライン除外を確認、Tailscale SSHは権限昇格の脆弱性を認める ETH指数時間仮説3-SATk-CNF
October 8, 2026 OpenAIが自ら招集した諮問機関の忠告を押し切り722本のAI数学原稿を一挙公開、AnthropicはHaiku 5.5を90%値下げしてGPT-6 Lunaと同価格帯に OpenAI722本の数学原稿LeanAGMAI
