Computer scientists are trying to build an AI system that can win a gold medal at the world’s premier math competition. https://www.quantamagazine.org/at-the-international-mathematical-olympiad-artificial-intelligence-prepares-to-go-for-the-gold-20200921