研究者らが、平面幾何、解析幾何、立体幾何の問題に対応する単一のAIソルバー「OmniGeo」を公開した。ニューラルネットワークによる指針と記号推論を共通の状態で組み合わせ、各ステップで作図を提案し、厳密な規則を適用できる。OmniGeoを説明する論文は2026年10月6日にarXivで公開された。
OmniGeoの性能は？
Claude Sonnet 4.6と組み合わせたOmniGeoは、ベンチマークのFormalGeo7Kで94.2％、Conic10Kで88.5％、SolidFGeoで89.8％の正答率を達成し、3つのベンチマークのマクロ平均は90.8％となった。著者らによると、国際数学オリンピック形式の幾何問題を集めたIMO-AG-30でも、30問中21問を解いた。
なぜ重要か
生徒や教師にとって、幅広い種類の幾何問題に対応する単一のツールがあれば、ソフトを切り替えずに解答を確認したり、作図を試したりできる。ベンチマークでの高得点は、典型的な教科書レベルの問題を安定して扱える可能性を示す一方、初めて見る問題や定義が曖昧な課題への性能はまだ検証されていない。
