Des chercheurs ont présenté OmniGeo, un solveur d’IA unique capable de traiter des problèmes de géométrie plane, analytique et dans l’espace. Il associe des indications neuronales à un raisonnement symbolique dans un état partagé, ce qui lui permet de proposer des constructions et d’appliquer des règles exactes à chaque étape. L’article présentant OmniGeo a été publié sur arXiv le 6 octobre 2026.
Quelles sont les performances d’OmniGeo ?
Associé à Claude Sonnet 4.6, OmniGeo a atteint une précision de 94,2 % sur le benchmark FormalGeo7K, de 88,5 % sur Conic10K et de 89,8 % sur SolidFGeo, soit une moyenne macro de 90,8 %. Les auteurs indiquent également qu’OmniGeo a résolu 21 problèmes sur 30 de la série IMO‑AG‑30, qui rassemble des questions de géométrie inspirées des Olympiades internationales de mathématiques.
Pourquoi c'est important
Pour les élèves et les enseignants, un outil unique capable de traiter plusieurs types de problèmes de géométrie permet de vérifier des solutions et d’explorer des constructions sans avoir à changer de programme. Les scores élevés aux benchmarks suggèrent que le système peut résoudre de manière fiable des exercices classiques, mais ses performances sur des problèmes inédits ou mal définis restent à évaluer.
