Resolution、数学の自動形式化に成功 Claude Opus 5.5もProgramBenchで躍進
AI安全スタートアップのResolution (レゾリューション) は2026年10月26日(現地時間)、統計的学習理論に関連する数学的ステートメントの自動形式化に成功したと発表した。同じく同日、Claude Opus 5.5はAIシステムのソフトウェア再構築能力を測るProgramBench (プログラムベンチ) で18.5%のスコアを達成。OpenAIは自身のAIシステムから発見した脆弱性を報告し、Mirendil (ミレンディル) は一人の研究者による大規模言語モデル事前学習の成功を公表した。