The world's leading mathematicians were stunned by how adept artificial intelligence is at doing their jobs