AI's kunnen binnen kort ook aan de gang in een andere tak van intelligentie, namelijk de wiskunde en de logica.