October 7, 2026 Claude発見のアルゴリズムが3SUM・APSP予想を覆す；OpenAIがBarnetteとUnique Gamesの証明を公開；Erdős Problems管理者が退場へ Mistral Large 4Grace BlackwellClaude3SUM
