HomeTechAIL'intelligenza artificiale risolve un enigma matematico vecchio di 80 anni. E gli accademici esultanoUn modello sperimentale di OpenAI avrebbe confutato la celebre congettura di Erdős sulle distanze unitarie. Per il super matematico Tim Gowers si tratta di una “pietra miliare”Sir William Timothy Gowers (foto College de France)Ricevi le notizie di Quotidiano Nazionale su GoogleSeguiciPer decenni è stato uno dei rompicapi più affascinanti della matematica moderna. Oggi, a sorprendere il mondo accademico, non è stato un professore universitario né un genio della geometria, ma un sistema di intelligenza artificiale. OpenAI ha annunciato che un proprio modello sperimentale è riuscito a risolvere, o più precisamente a confutare, la celebre congettura delle distanze unitarie formulata nel 1946 dal matematico ungherese Paul Erdős. Cosa sappiamo.
I matematici esultano: “Un passaggio storico”
La notizia ha suscitato grande interesse nella comunità scientifica. Tra i primi a esaminare il risultato c'è stato il matematico britannico Tim Gowers, vincitore della Medaglia Fields, considerata il Nobel della matematica. Secondo Gowers si tratta di una pietra miliare nello sviluppo dell'intelligenza artificiale applicata alla ricerca matematica. Contrariamente a quanto si potrebbe pensare, la reazione prevalente nel mondo della matematica non è stata di rifiuto o scetticismo, bensì di sorpresa. Una sorpresa enorme. Molti matematici di primo piano hanno verificato personalmente il risultato e, almeno per ora, sembrano concordare sul fatto che non si tratti di una trovata pubblicitaria di OpenAI. Anche Daniel Litt ha parlato di un passaggio storico. Secondo lui è il primo caso in cui un risultato generato autonomamente da un'IA è interessante in sé e non soltanto come dimostrazione delle potenzialità future della tecnologia. Detto questo, ci sono anche alcuni studiosi che sottolineano che la dimostrazione è stata verificata, ripulita e in parte ampliata da esseri umani. Inoltre l'IA avrebbe collegato in modo inatteso strumenti già esistenti provenienti da aree diverse mettendo la cosiddetta ultima pietra.
