Imatematici scendono in campo contro un certo uso dell'intelligenza artificiale, dopo che un modello di IA di OpenAI ha risolto uno dei 'problemi del millennio': i ricercatori lanciano l'accusa di 'comportamento predatorio' perché il modello avrebbe trovato la soluzionesfruttando illegalmente leconversazioni con l'IA di due matematici.
Laprotesta arriva da uno dei principali appuntamenti internazionali di matematica, l' Heidelberg Laureate Forum , e dalla lettera firmata da 25 vincitori della Medaglia Fields , il premio considerato il Nobel della matematica, nella quale l'uso attuale delle IA viene definito "unaminaccia per il lavoro intellettuale". Tra i firmatari c'è anche l'italiano Alessio Figalli, Medaglia Fields 2018

Recentemente OpenAI aveva annunciato che un proprio modello di IA era riuscito a risolvere uno dei più importanti problemi matematici, noto comeproblema Navier-Stokes, e che la sua importanza era stato inserito da uno dei maggiori centri di ricerca di matematica al mondo nella lista dei 'problemi del millennio'.Quell'annuncio aveva scosso la comunità dei matematici perché aveva dimostrato le potenzialità dell'uso delle IA, in particolare dei modelli sviluppati per fare dimostrazioni formali e detti Lean. Dall'altro, però, ha aperto un'importante polemica.

L'Heidelberg Laureate Forum è stata l'occasione per denunciare chealla dimostrazione del 'problema del millennio' stavano lavorandoanche i matematiciTristan Buckmaster, della New York University, eLevent Alpöge, dell'Università di Harvard. Stavanocercando la soluzione da oltre un annoe per farlodialogavano anche con alcuni account di IA.Secondo l'accusa dei matematici,OpenAI avrebbe utilizzato proprio il loro lavoro,che seguiva un approccio piuttosto inusuale, per arrivare alla soluzione.

Inoltre, è emerso che i due avrebbero ricevuto minacce per non rendere pubblici i risultati che avevano ottenuto. Non esistono ostacoli legali a quel tipo di comportamento predatorio cui abbiamo assistito in particolare nell'ultimo mese, così come nel XIX secolo non vi erano ostacoli legali alla violenta acquisizione di territori da parte delle potenze coloniali", ha affermato Michael Harris, Columbia University.
Dal canto suo,OpenAI ha negato ogni accusa e al momentosembrerebbe impossibile appurare l'eventuale plagio.

Contro un certo uso dei modelli di intelligenza artificiale sono recentemente scesi in campo anche i più importanti matematici al mondo: ben25 vincitori della Medaglia Fields. In una lettera aperta hanno preso posizionecontro i metodi usati oggi dai modelli di IA, per i quali i grandi problemi matematici insoluti sono gestiti come semplici obiettivi da superare. Chi gestisce quei modelli, secondo i matematici, vuole dimostrarne al pubblico le capacità, ma nella sostanza non stanno offrendo nulla che aiuti la ricerca in questo campo.
"La produzione di massa, a ritmi sempre più frenetici, di affermazioni "vere o false" - scrivono nella lettera -rischia di distruggere un terreno fertileanziché dare vita a nuove idee".