Forskare har lanserat OmniGeo, en AI-lösare som kan hantera problem inom plan geometri, analytisk geometri och rymdgeometri. Systemet kombinerar neurala förslag med symboliskt resonemang i ett gemensamt tillstånd, vilket gör att det kan föreslå konstruktioner och tillämpa exakta regler i varje steg. Artikeln om OmniGeo publicerades på arXiv den 6 oktober 2026.
Hur bra presterar OmniGeo?
I kombination med Claude Sonnet 4.6 uppnådde OmniGeo 94.2 % på benchmarktestet FormalGeo7K, 88.5 % på Conic10K och 89.8 % på SolidFGeo, vilket gav ett makromedelvärde på 90.8 %. Författarna uppger också att OmniGeo löste 21 av 30 problem i IMO‑AG‑30, en samling geometrifrågor i stil med Internationella matematikolympiaden.
Varför det spelar roll
För elever och lärare kan ett enda verktyg som hanterar flera typer av geometri vara ett sätt att kontrollera lösningar och utforska konstruktioner utan att behöva byta program. De höga resultaten på benchmarktesten tyder på att systemet kan hantera typiska läroboksproblem på ett tillförlitligt sätt, men dess förmåga att lösa helt nya eller otydligt formulerade uppgifter har ännu inte testats.
