October 8, 2026 OpenAIが自ら招集した諮問機関の忠告を押し切り722本のAI数学原稿を一挙公開、AnthropicはHaiku 5.5を90%値下げしてGPT-6 Lunaと同価格帯に OpenAI722本の数学原稿LeanAGMAI