Mit einer Kombination aus Sprachmodell und mathematischer Logik reicht das KI-Modell Alpha Geometry an menschliche Bestleistung der Mathe-Olympiade heran.