Tra il 2025 e il 2026 i modelli linguistici hanno conquistato ori alle olimpiadi di matematica e di informatica e hanno persino confutato una congettura di geometria aperta dal 1946. Ma il presidente delle Olimpiadi internazionali di matematica certifica il punteggio, non il metodo. Ed è il metodo, non il risultato, la vera novità: connessioni inattese tra domini lontani, che non sappiamo riprodurre e che nessuno, nemmeno chi costruisce i modelli, sa spiegare come emergono.
Spiegabilità ai
Comprendere o solo predire? Il dilemma dietro i successi matematici dell’AI
Tra il 2025 e il 2026 i modelli linguistici hanno risolto problemi matematici aperti da decenni e ottenuto punteggi da medaglia d’oro alle Olimpiadi. Le istituzioni certificano i risultati, non il metodo: resta aperta la domanda su cosa significhi, per un’IA, comprendere
Dipartimento di Informatica, Università di Pisa, Pisa, Humane Technology Lab., Università Cattolica del Sacro Cuore, Milano

Continua a leggere questo articolo
Argomenti
Canali
InnovAttori
-

Carlsberg mappa il genoma del luppolo: cosa cambia per la birra
19 Ott 2026 -

Dalla fabbrica connessa all’AI, il percorso di innovazione delle PMI umbre
16 Ott 2026 -

Come l’ERP spinge la trasformazione organizzativa in azienda
16 Ott 2026 -

Costruzioni, comprare tecnologia è facile: farla funzionare molto meno
01 Ott 2026 -

R&D, perché anche nei team tecnici l’adozione dell’AI deve partire dalle persone
30 Set 2026





























