# OmniGeo几何求解器在基准测试中准确率亮眼

> 采用Claude Sonnet 4.6的全新OmniGeo系统，在主要几何测试中的准确率超过88%，并解出30道国际奥数风格题中的21道。

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

研究人员发布了OmniGeo，这是一款能够处理平面几何、解析几何和立体几何题目的通用AI求解器。它将神经网络引导与符号推理整合在同一状态中，使系统能够提出辅助线构造，并在每一步运用精确规则。介绍OmniGeo的论文于2026年10月6日发布在arXiv上。

## OmniGeo的表现如何？

搭配Claude Sonnet 4.6使用时，OmniGeo在FormalGeo7K基准测试中的准确率为94.2%，在Conic10K上为88.5%，在SolidFGeo上为89.8%，三项测试的宏平均准确率为90.8%。作者还报告称，OmniGeo解出了IMO-AG-30题集中的30道题里的21道；该题集收录了国际数学奥林匹克风格的几何题。

## 事实

- 论文于2026年10月3日提交至arXiv，并于2026年10月6日发布。
- OmniGeo使用Claude Sonnet 4.6作为神经网络组件。
- 它在FormalGeo7K、Conic10K和SolidFGeo上的得分分别为94.2%、88.5%和89.8%。
- 三项基准测试的宏平均得分为90.8%。
- OmniGeo解出了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