October 28, 2026 OpenAIによる指数時間仮説の反証論文をAnthropicがLean 4で形式化（論文署名はClaude、発見者は内部研究モデル）、同日Python運営委員会は3.13導入の実験的JITのメインライン除外を確認、Tailscale SSHは権限昇格の脆弱性を認める ETH指数時間仮説3-SATk-CNF
