AI数学スタートアップAxiom、100年超の未解決問題含む4つの難問を解決

AI数学スタートアップのAxiomが、数年から100年以上未解決だった数学の難問4つを解決したと発表。大規模言語モデルと証明検証システムを組み合わせた独自AI「AxiomProver」を開発。数学研究だけでなく、ソフトウェアの信頼性検証な…

OpenAIがコーディング支援ツールCodexのデスクトップアプリを公開、Claude Codeに対抗

OpenAIが2026年2月、コーディング支援ツールCodexのmacOSデスクトップアプリを公開。複数のコーディングエージェントを同時管理できる機能を搭載し、競合のClaude Codeに対抗。利用制限も2倍に緩和され、無料プランでも期…