Computers prepare to win the Mathematics Olympiad

Computer scientists are trying to build an artificial intelligence system that can win a gold medal in the world's most important mathematical competition.