This is the first time AI has medalled in a contest historically dominated by the world’s top teenage math prodigies ...