Un equipo de investigadores presentó OmniGeo, un único sistema de IA capaz de resolver problemas de geometría plana, analítica y del espacio. Combina orientación neuronal con razonamiento simbólico en un estado compartido, lo que le permite proponer construcciones y aplicar reglas exactas en cada paso. El artículo que describe OmniGeo se publicó en arXiv el 6 de octubre de 2026.
¿Qué tan bien rinde OmniGeo?
En combinación con Claude Sonnet 4.6, OmniGeo alcanzó una precisión del 94,2% en la prueba FormalGeo7K, del 88,5% en Conic10K y del 89,8% en SolidFGeo, con un promedio macro del 90,8%. Los autores también informan que OmniGeo resolvió 21 de los 30 problemas del conjunto IMO‑AG‑30, una colección de preguntas de geometría al estilo de la Olimpiada Internacional de Matemáticas.
Por qué importa
Para estudiantes y docentes, una sola herramienta capaz de abordar distintos tipos de geometría permite comprobar soluciones y explorar construcciones sin tener que cambiar de programa. Los altos resultados en las pruebas sugieren que el sistema puede resolver de forma fiable problemas habituales de los libros de texto, aunque todavía no se ha evaluado su rendimiento con tareas nuevas o mal definidas.
