Onderzoekers hebben OmniGeo uitgebracht, één AI-oplosser voor problemen in de vlakke, analytische en ruimtemeetkunde. Het systeem combineert neurale sturing met symbolisch redeneren in een gedeelde toestand, zodat het constructies kan voorstellen en bij elke stap exacte regels kan toepassen. Het artikel over OmniGeo verscheen op 6 oktober 2026 op arXiv.
Hoe goed presteert OmniGeo?
In combinatie met Claude Sonnet 4.6 behaalde OmniGeo een nauwkeurigheid van 94,2% op de FormalGeo7K-benchmark, 88,5% op Conic10K en 89,8% op SolidFGeo. Het macro gemiddelde kwam daarmee uit op 90,8%. De auteurs melden ook dat OmniGeo 21 van de 30 opgaven uit de IMO‑AG‑30-set oploste, een verzameling meetkundeopgaven in de stijl van de Internationale Wiskundeolympiade.
Waarom het ertoe doet
Voor leerlingen en docenten biedt één hulpmiddel dat verschillende soorten meetkunde aankan de mogelijkheid om oplossingen te controleren en constructies te verkennen zonder tussen programma’s te hoeven wisselen. De hoge benchmarkscores wijzen erop dat het systeem gebruikelijke opgaven uit schoolboeken betrouwbaar aankan, al is de prestatie bij gloednieuwe of slecht gedefinieerde opdrachten nog niet getest.
