I ricercatori hanno presentato OmniGeo, un unico sistema di IA in grado di risolvere problemi di geometria piana, analitica e solida. Il sistema combina guida neurale e ragionamento simbolico in uno stato condiviso, così da proporre costruzioni e applicare regole esatte a ogni passaggio. Il paper che descrive OmniGeo è stato pubblicato su arXiv il 6 ottobre 2026.
Come si comporta OmniGeo?
Abbinato a Claude Sonnet 4.6, OmniGeo ha raggiunto un’accuratezza del 94,2% nel benchmark FormalGeo7K, dell’88,5% in Conic10K e dell’89,8% in SolidFGeo, con una media macro del 90,8%. Gli autori riferiscono inoltre che OmniGeo ha risolto 21 problemi su 30 del set IMO‑AG‑30, una raccolta di quesiti di geometria sul modello delle Olimpiadi Internazionali della Matematica.
Perché conta
Per studenti e insegnanti, un unico strumento capace di affrontare diversi tipi di geometria permette di verificare le soluzioni ed esplorare costruzioni senza passare da un programma all’altro. Gli alti punteggi nei benchmark fanno pensare che il sistema sappia risolvere con affidabilità i problemi tipici dei manuali, ma le sue prestazioni su quesiti inediti o definiti in modo poco preciso non sono ancora state verificate.
