The race to build AI systems that rival human intelligence has led to several claims of mathematical breakthroughs, but this week provided a clearer sign of progress.