Исследователи представили OmniGeo — универсальную систему ИИ для решения задач по планиметрии, аналитической и стереометрической геометрии. Она объединяет нейросетевые подсказки и символьные рассуждения в общем состоянии, благодаря чему может предлагать построения и применять точные правила на каждом шаге. Статья с описанием OmniGeo опубликована на arXiv 6 октября 2026 года.
Насколько хорошо работает OmniGeo?
В связке с Claude Sonnet 4.6 система OmniGeo показала точность 94,2% на тесте FormalGeo7K, 88,5% на Conic10K и 89,8% на SolidFGeo; средний результат по трём тестам составил 90,8%. Авторы также сообщают, что OmniGeo решила 21 из 30 задач набора IMO‑AG‑30 — подборки задач по геометрии в стиле Международной математической олимпиады.
Почему это важно
Для учеников и учителей единый инструмент, способный работать с разными разделами геометрии, позволяет проверять решения и изучать построения, не переключаясь между программами. Высокие результаты в тестах говорят о том, что система может надёжно решать типичные задачи из учебников, однако её работу с совершенно новыми или плохо сформулированными задачами пока не проверяли.
