Solving olympiad geometry without human demonstrations

Proving mathematical theorems at the olympiad level represents a notable milestone in human-level automated reasoning 1 – 4 , owing to their reputed difficulty among the world’s best talents in pre-university mathematics. Current machine-learning approaches, however, are not applicable to most mathe...

Ausführliche Beschreibung