# OmniGeo tem alta precisão em testes de geometria

> O novo sistema OmniGeo, que usa o Claude Sonnet 4.6, supera 88% de precisão em grandes testes de geometria e resolve 21 de 30 problemas no estilo da IMO.

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

Pesquisadores lançaram o OmniGeo, um único solucionador de IA capaz de lidar com problemas de geometria plana, analítica e espacial. Ele combina orientação neural com raciocínio simbólico em um estado compartilhado, permitindo que o sistema proponha construções e aplique regras exatas a cada etapa. O artigo que descreve o OmniGeo foi publicado no arXiv em 6 de outubro de 2026.

## Qual é o desempenho do OmniGeo?

Com o Claude Sonnet 4.6, o OmniGeo alcançou 94.2% de precisão no benchmark FormalGeo7K, 88.5% no Conic10K e 89.8% no SolidFGeo, com média macro de 90.8%. Os autores também relatam que o OmniGeo resolveu 21 dos 30 problemas do conjunto IMO‑AG‑30, uma coleção de questões de geometria no estilo da Olimpíada Internacional de Matemática.

## Os fatos

- O artigo foi enviado ao arXiv em 3 de outubro de 2026 e publicado em 6 de outubro de 2026.
- O OmniGeo usa o Claude Sonnet 4.6 como componente neural.
- Obteve 94.2% no FormalGeo7K, 88.5% no Conic10K e 89.8% no SolidFGeo.
- A média macro nos três benchmarks é de 90.8%.
- O OmniGeo resolveu 21 dos 30 problemas de geometria do IMO‑AG‑30.

## Por que importa

Para estudantes e professores, uma única ferramenta capaz de resolver vários tipos de problemas de geometria permite conferir soluções e explorar construções sem precisar alternar entre programas. As altas pontuações nos benchmarks sugerem que o sistema consegue lidar com confiabilidade com problemas típicos de livros didáticos, embora seu desempenho em tarefas inéditas ou mal definidas ainda não tenha sido testado.

## Fontes e referências

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

Última atualização: 2026-10-06