Solving olympiad geometry without human demonstrations

Contesto

Trinh e colleghi presentano AlphaGeometry, un sistema neuro-simbolico che combina un modello linguistico addestrato su dati sintetici con un motore di deduzione simbolica; risolve 25 dei 30 problemi di geometria olimpionica del test.