# OmniGeo、幾何問題の主要ベンチマークで高精度

> Claude Sonnet 4.6を活用する新システムOmniGeoは、主要な幾何テストで88％超の正答率を達成し、IMO形式の問題30問中21問を解いた。

Oossa · 2026-10-06 · https://oossa.com/ja/omnigeo-solver-shows-high-accuracy-on-geometry-benchmarks

研究者らが、平面幾何、解析幾何、立体幾何の問題に対応する単一の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問を解いた。

## 事実

- 論文は2026年10月3日にarXivに投稿され、10月6日に公開された。
- OmniGeoはニューラルコンポーネントとしてClaude Sonnet 4.6を使用する。
- FormalGeo7Kで94.2％、Conic10Kで88.5％、SolidFGeoで89.8％の正答率を記録した。
- 3つのベンチマークのマクロ平均は90.8％。
- IMO-AG-30の幾何問題30問中21問を解いた。

## なぜ重要か

生徒や教師にとって、幅広い種類の幾何問題に対応する単一のツールがあれば、ソフトを切り替えずに解答を確認したり、作図を試したりできる。ベンチマークでの高得点は、典型的な教科書レベルの問題を安定して扱える可能性を示す一方、初めて見る問題や定義が曖昧な課題への性能はまだ検証されていない。

## 出典と参考資料

1. [Dense Neuro-Symbolic Reasoning in a Unified Geometry State](https://arxiv.org/abs/2610.04280) – arXiv, 2026-10-06

最終更新: 2026-10-06