Solving olympiad geometry without human demonstrations
Virtualhttps://youtu.be/eZbYSOpga2U New Technologies in Mathematics Seminar Speaker: Trieu H. Trinh, Google Deepmind and NYU Dept. of Computer Science Title: Solving olympiad geometry without human demonstrations Abstract: Proving mathematical theorems at the olympiad level represents a notable milestone in human-level automated reasoning, owing to their reputed difficulty among the world’s best talents in pre-university mathematics. Current […]