October 28, 2026 OpenAIによる指数時間仮説の反証論文をAnthropicがLean 4で形式化（論文署名はClaude、発見者は内部研究モデル）、同日Python運営委員会は3.13導入の実験的JITのメインライン除外を確認、Tailscale SSHは権限昇格の脆弱性を認める ETH指数時間仮説3-SATk-CNF
October 7, 2026 Claude発見のアルゴリズムが3SUM・APSP予想を覆す；OpenAIがBarnetteとUnique Gamesの証明を公開；Erdős Problems管理者が退場へ Mistral Large 4Grace BlackwellClaude3SUM
