L'algoritmo AI AlphaGeometry di Google DeepMind risolve complessi problemi di geometria al livello di un campione delle Olimpiadi di matematica
DeepMind
Un sistema di intelligenza artificiale chiamato AlphaGeometry, sviluppato dalla società britannica Google DeepMind, ha dimostrato una capacità di risolvere problemi di geometria paragonabile a quella dei vincitori della medaglia d'oro alle Olimpiadi internazionali di matematica (IMO), una prestigiosa competizione per studenti delle scuole superiori.
Ecco cosa sappiamo
Secondo i ricercatori di DeepMind, AlphaGeometry è stato in grado di risolvere 25 dei 30 problemi del test IMO nelle 4,5 ore previste. Questo risultato è paragonabile alle prestazioni medie dei vincitori umani delle Olimpiadi.
Confronto tra la produttività di AlphaGeometry, del modello precedente e dei medagliati IMO
Il sistema combina due approcci diversi:
- un modello di linguaggio neurale che genera idee intuitive;
- un meccanismo di deduzione simbolica che verifica le idee utilizzando regole e logica formale.
Il modello linguistico si basa sulla stessa tecnologia del motore di ricerca e dei sistemi di comprensione del linguaggio naturale di Google. Il meccanismo di deduzione si ispira a un metodo sviluppato dal matematico cinese Wen-Tsün Wu nel 1978.
Secondo gli esperti, i risultati dimostrano i progressi nello sviluppo di un'intelligenza artificiale in grado di ragionare logicamente e di scoprire nuove intuizioni matematiche. Tuttavia, riconoscono i limiti di AlphaGeometry.
Tuttavia, secondo DeepMind, in futuro tali sistemi potrebbero essere ampiamente utilizzati per accelerare la ricerca scientifica in matematica, scienze e altri campi. A tal fine, ha pubblicato il codice sorgente di AlphaGeometry su GitHub.
Fonte: Nature