A.I.’s Latest Challenge: the Math Olympics
For four years, the computer scientist Trieu Trinh has been consumed with something of a meta-math problem: how to build an A.I. model that solves geometry problems from the International Mathematical Olympiad, the annual competition for the world’s most mathematically attuned high-school students. Last week Dr. Trinh successfully defended his doctoral dissertation on this topic…