研究人员发布了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道；该题集收录了国际数学奥林匹克风格的几何题。
为什么重要
对学生和教师来说，一款能够处理多种几何题型的工具，可以帮助他们核对解答、探索辅助线构造，不必在不同程序之间切换。基准测试中的高分表明，该系统能够可靠地处理常见课本题目；不过，它应对全新题目或定义不清的任务时表现如何，尚未经过测试。
