www.nytimes.com

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