October 8, 2026 OpenAIが自ら招集した諮問機関の忠告を押し切り722本のAI数学原稿を一挙公開、AnthropicはHaiku 5.5を90%値下げしてGPT-6 Lunaと同価格帯に OpenAI722本の数学原稿LeanAGMAI
October 7, 2026 Claude発見のアルゴリズムが3SUM・APSP予想を覆す；OpenAIがBarnetteとUnique Gamesの証明を公開；Erdős Problems管理者が退場へ Mistral Large 4Grace BlackwellClaude3SUM
