L’intelligenza artificiale non è ancora in grado di sostituire i matematici umani, secondo i risultati della sfida “First Proof”, un test rigoroso progettato per valutare la capacità dei modelli linguistici di grandi dimensioni (LLM) di condurre ricerche matematiche originali. Lanciata il giorno di San Valentino, la sfida presentava agli IA dieci complessi “lemmi” (teoremi minori), compiti tipicamente assegnati a studenti laureati dotati. Il risultato? Nessun LLM ha risolto tutti e dieci i problemi in modo indipendente.
La sfida e il suo scopo
L’iniziativa First Proof, guidata da undici matematici di spicco, mirava a spingere l’intelligenza artificiale oltre il rigurgito delle tecniche esistenti. I problemi sono stati progettati per richiedere una genuina originalità, costringendo gli LLM a sintetizzare nuove soluzioni piuttosto che limitarsi a rimescolare quelle già conosciute. Questo test sottolinea una realtà critica: mentre l’intelligenza artificiale eccelle nel riconoscimento dei modelli e nell’elaborazione dei dati, fatica ancora con la creatività e il pensiero astratto che guidano le scoperte matematiche.
Coinvolgimento inaspettato da parte degli sviluppatori IA
La sfida ha attirato inaspettatamente l’attenzione di aziende di intelligenza artificiale come OpenAI, che hanno impiegato risorse sostanziali per affrontare i problemi. Mohammed Abouzaid dell’Università di Stanford, membro del team First Proof, ha osservato: “Non ci aspettavamo che le società di intelligenza artificiale prendessero la cosa così sul serio e ci dedicassero così tanto lavoro”. Ciò evidenzia la crescente concorrenza nel settore dell’intelligenza artificiale per sviluppare modelli capaci di un autentico ragionamento matematico.
Risultati: la fiducia non equivale alla correttezza
Il team di First Proof ha rivelato che i LLM hanno prodotto con sicurezza dimostrazioni per tutti e dieci i problemi, ma solo due sono stati verificati come corretti. Una di queste dimostrazioni era già stata documentata e un’altra era parzialmente derivata da uno schizzo archiviato di un famoso matematico. Inoltre, molte soluzioni presentate si sono rivelate convincenti ma alla fine imperfette, sottolineando la difficoltà di distinguere tra informazioni autentiche e plausibilità generata dall’intelligenza artificiale.
Uno sguardo allo “stile” matematico dell’intelligenza artificiale
È interessante notare che, secondo Abouzaid, le soluzioni corrette generate dalle IA mostravano un approccio matematico decisamente ottocentesco. Ciò suggerisce che, sebbene l’intelligenza artificiale possa imitare metodi consolidati, deve ancora evolversi verso le tecniche all’avanguardia che definiscono la matematica moderna.
Il futuro dell’intelligenza artificiale in matematica
L’esperimento della Prima Prova non riguarda solo il fallimento. È un’opportunità di apprendimento. Il team pianifica un secondo round con controlli più severi, indicando l’impegno a perfezionare la metodologia e a spingere ulteriormente l’intelligenza artificiale. Nonostante le attuali limitazioni, i rapidi progressi nelle capacità LLM suggeriscono che l’intelligenza artificiale continuerà a svolgere un ruolo crescente nella ricerca matematica. Alcuni matematici ritengono che gli strumenti assistiti dall’intelligenza artificiale siano già pronti a cambiare il campo, come notato da Scott Armstrong dell’Università della Sorbona: “Questi strumenti stanno arrivando per cambiare la matematica, e sta accadendo ora”.
La sfida della Prima Prova rafforza un punto cruciale: sebbene l’intelligenza artificiale possa accelerare alcuni aspetti del lavoro matematico, non ha ancora raggiunto il ragionamento indipendente e creativo necessario per sostituire i matematici umani.
