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.
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.
