At the Math Olympiad, Computers Prepare to Go for the Gold

Computer scientists are trying to build an AI system that can win a gold medal at the world’s premier math competition.