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, infatti non era mai successo prima che un’IA raggiungesse tali livelli di successo in una competizione matematica di alto livello.
AlphaProof si distingue nella risoluzione di algebra e teoria dei numeri, mentre AlphaGeometry 2 eccelle nei problemi di geometria. L’auspicio è che questi sviluppi possano favorire future collaborazioni tra matematici e IA, aprendo nuove prospettive nel campo della matematica.
Leggi l’articolo completo: Google DeepMind’s new AI systems can now solve complex math problems su technologyreview.com.
Foto di NITISH GOSWAMI su Unsplash.
