It was more than 40 years ago when the four color map theorem was famously solved using a computer program. Today artificial intelligence has made its way into all areas of mathematics from identifying patterns, making conjectures, verifying and even proving theorems.
So why can’t an AI win a mathematics competition designed for high school students?