Google DeepMind ha annunciato significativi progressi nei suoi sistemi di IA con AlphaProof e AlphaGeometry 2, progettati per risolvere problemi matematici complessi.  Questi modelli hanno ottenuto risultati notevoli, risolvendo quattro dei sei problemi proposti alle olimpiadi internazionali di matematica (IMO) di quest’anno, guadagnandosi una medaglia d’argento. Si tratta di una vera e propria prima volta,…