Nel panorama dell'intelligenza artificiale, Google DeepMind ha recentemente suscitato grande entusiasmo con un nuovo traguardo nella matematica. I sistemi AlphaProof…