Il modello di intelligenza artificiale AlphaGeometry è in grado di risolvere problemi ingegneristici estremamente difficili, scrive il suo creatore, Trieu Trinh della New York University, in un nuovo studio pubblicato sulla rivista Nature.
Trinh ha lavorato su AlphaGeometry per quattro anni, più recentemente negli ultimi anni presso DeepMind, il braccio di sviluppo dell'intelligenza artificiale di Google. AlphaGo e AlphaZero provenivano in precedenza da DeepMind. Programmi che ottimizzano la strategia del Go e delle partite di scacchi fino all'ultimo dettaglio, distruggendo le persone migliori del mondo.
svolta
Tuttavia, i problemi matematici sono difficili da catturare in un modello di intelligenza artificiale. Tuttavia, ha funzionato, come ha spiegato Trinh Il New York Times. “Non stiamo apportando miglioramenti incrementali. Stiamo facendo un grande salto, un grande passo avanti in termini di risultati.”
AlphaGeometry ora può risolvere i problemi di geometria stocastica delle Olimpiadi internazionali di matematica. Su 30 domande, sono riuscito a decodificarne 25 correttamente. In confronto, i vincitori umani hanno risolto una media di 25,9 domande. Le medaglie d'argento e di bronzo vanno alle persone che ottengono una media di 22,9 e 19,3 risposte corrette rispettivamente.
Il team dietro AlphaGeometry lo descrive come “una pietra miliare nel ragionamento automatico a livello umano”. Va notato che AlphaGeometry è stato sviluppato appositamente per risolvere i problemi delle Olimpiadi. Il modello dell’intelligenza artificiale non è ancora arrivato al punto in cui può sostituire tutti i matematici.
fonti): Il New York Times
