Google DeepMind says its artificial intelligence models are now at a “silver-level standard” in complex mathematics, after solving four out of six problems of this year’s International Mathematical ...