Digital Life

L'IA di Google ha sfidato i campioni di matematica: chi ha vinto?

AlphaGeometry, il nuovo modello di intelligenza artificiale di Google, si è confrontato con i vincitori delle Olimpiadi Internazionali della Matematica. Ecco come è andata.

Un nuovo modello di intelligenza artificiale sviluppato da Google e chiamato AlphaGeometry, si è confrontato con i risultati ottenuti dalle più abili menti del mondo nelle 16edizioni delle Olimpiadi Internazionali della Matematica comprese tra il 2000 e il 2015. Nella sfida, impostata su 30 distinti problemi di geometria, il software informatico ha risolto con successo ben 25 quesiti entro il tempo prestabilito, avvicinandosi di molto alla prestazione dei vincitori della medaglia d'oro, che hanno conseguito una media di 25,9. Il risultato dell'IA è però migliore sia del valore medio ottenuto dai vincitori della medaglia di bronzo, pari a 19,3 punti, sia di quello di chi ha portato a casa la medaglia d'argento, con 22,9 punti.

Come funziona. Un esito di questo tipo ha soddisfatto appieno il team di Google DeepMind che ha progettato AlphaGeometry ed è stato possibile grazie all'invenzione di una nuova tipologia di intelligenza artificiale, basata sull'integrazione di un sistema di linguaggio neurale (cioè che imita il funzionamento del cervello umano) con uno di deduzione logica. In breve, l'AI combina un modello abile nelle previsioni rapide, ma limitato nella comprensione, con un motore di deduzione basato sulle forme geometriche. Tale combinazione permette che si inneschi un processo iterativo tra i due, in cui il motore deduttivo avanza finché non trova una difficoltà. A questo punto, interviene il modello basato sul linguaggio, suggerendo modifiche argomentative.

Addestramento parallelizzato. Per istruire un software tanto complesso c'è stato bisogno di un procedimento inedito rispetto a quelli usati per la maggior parte dei chatbot. AlphaGeometry, di fatto, non "vede" direttamente i problemi che risolve, ma riesce a trovare la soluzione mediante un sistema che lavora in parallelo e che funziona grazie all'utilizzo dei grandi numeri. Il software, infatti, genera un miliardo di diagrammi casuali di oggetti geometrici per volta, riuscendo poi a scoprire, lavorando a ritroso, quali costrutti aggiuntivi siano stati necessari per arrivare a quei diagrammi. Tale procedimento è stato chiamato dai suoi inventori "processo di deduzione simbolica e di tracciabilità".

Passo avanti. Nonostante le attuali competenze, limitate ai soli problemi di geometria, il team di Google mira a espandere la capacità dell'IA a molte più discipline matematiche. AlphaGeometry, in ogni caso, rappresenta un notevole passo avanti rispetto ai precedenti sistemi prodotti dall'azienda americana, superando di 2,5 volte i risultati del software precedente che, utilizzato anch'esso nella sfida, si è fermato ad appena 10 problemi risolti su 30.

1 febbraio 2024 Simone Valtieri
Ora in Edicola
Scopri il mondo Focus. Ogni mese in edicola potrai scegliere la rivista che più di appassiona. Focus il magazine di divulgazione scientifica più letto in Italia, Focus Storia per conoscere la storia in modo nuovo ed avvincente e Focus Domande & Risposte per chi ama l'intrattenimento curioso e intelligente.

Focus Storia torna con un nuovo numero ricco di approfondimenti appassionanti. Questo mese, uno speciale dedicato al fallito attentato a Hitler del 20 luglio 1944. Scopri come Claus von Stauffenberg pianificò l'Operazione Valchiria, la spietata rappresaglia che ne seguì e gli incredibili colpi di fortuna che salvarono il Führer da 40 attentati.

Esaminiamo anche come Stalin riuscì a sopravvivere ai numerosi tentativi di eliminarlo e i rischi corsi da Mussolini.

Esploriamo poi le grandi imprese come la conquista del K2, la spedizione che scalò la seconda cima più alta del mondo e la storia delle crociere con “E il navigar m’è dolce”, tra balli, sport, cibo e divertimento.

Raccontiamo la Grande Guerra attraverso le cartoline dell’epoca e vi diamo un'anteprima di una bella mostra a Buckingham Palace con le foto private dei reali.

Approfondiamo la storia del servizio di leva e delle Olimpiadi antiche, e rivivi l'epoca d'oro della televisione italiana con Corrado.

Non perdere questo numero di Focus Storia!

ABBONATI A 29,90€

Focus torna con un nuovo numero ricco di spunti e approfondimenti. Questo mese, ci immergeremo nel complesso mondo delle relazioni amorose, esplorando le basi scientifiche che le rendono durature e felici.

Cosa rende un amore duraturo? Quali sono i segreti delle coppie che superano le sfide del tempo? Focus risponde a queste domande svelando i meccanismi ormonali e fisiologici dei legami più solidi. Scopri il tuo profilo di coppia con un test utile e divertente per comprendere meglio la tua relazione.

Esploriamo anche il mondo della scienza e della tecnologia, dall'internet quantistica all'atomtronica, celebriamo il centenario dei planetari e scopriamo i segreti dell'alpinismo estremo.

Non perdere questo numero di Focus: conoscenza, passione e scoperta ti aspettano in ogni pagina!

ABBONATI A 31,90€
Follow us