Foto di Vitaly Gariev.

Di recente, OpenAI ha pubblicato centinaia di risultati matematici generati da un proprio modello di frontiera, accompagnandoli con dimostrazioni verificabili tramite il linguaggio Lean e rendendoli disponibili attraverso un archivio pubblico su GitHub. La decisione ha immediatamente acceso un dibattito nel mondo della matematica, dove una parte della comunità accoglie con interesse i progressi dell'intelligenza artificiale mentre un'altra contesta sia il metodo di pubblicazione sia il ruolo crescente delle aziende tecnologiche nella ricerca matematica.

Spiegando di voler condividere un'ampia raccolta di nuovi risultati matematici ottenuti mediante un proprio modello interno, OpenAI ha precisato di aver lavorato insieme al Gruppo consultivo indipendente su matematica e intelligenza artificiale dell'Institute for Advanced Study per definire pratiche ritenute adeguate alla divulgazione di risultati di questo tipo. Ha inoltre diffuso informazioni aggiuntive sul processo di ricerca. Nel materiale pubblicato sono presenti sintesi dei ragionamenti prodotti dal modello, statistiche sui tentativi effettuati e stime delle risorse computazionali utilizzate. Secondo quanto indicato da OpenAI, ogni risultato ha richiesto in media una quantità di calcolo equivalente a circa tre ore di elaborazione tramite ChatGPT Pro.

La pubblicazione arriva peraltro dopo una serie di annunci che hanno contribuito ad aumentare l'attenzione sulla capacità dei modelli di intelligenza artificiale di affrontare problemi matematici particolarmente complessi. Tutto ciò ha generato reazioni non esattamente compiaciute, come quella dell'Association for Human Mathematics, la quale ha diffuso una dichiarazione fortemente critica nei confronti dell'iniziativa. Nel documento si legge che «i matematici non hanno chiesto che questo lavoro venisse svolto» e che la pubblicazione simultanea di centinaia di documenti rappresenterebbe «una dimostrazione di potere, non una dimostrazione di ricerca scientifica». L'associazione ha inoltre invitato i matematici a interrompere le collaborazioni con OpenAI.

L'organizzazione sostiene che i laboratori di intelligenza artificiale non dovrebbero utilizzare problemi matematici avanzati come banco di prova per modelli proprietari non accessibili alla comunità scientifica più ampia. Secondo il comunicato, la procedura seguita rischierebbe di entrare in conflitto con le pratiche tradizionali che regolano la verifica e la diffusione della conoscenza matematica. Anche altri matematici hanno espresso dubbi: in generale, emerge la preoccupazione che i risultati ottenuti dai modelli possano risultare difficili da comprendere o verificare pienamente da parte degli stessi studiosi che li esaminano. Una nota dell'Institute for Advanced Study afferma: «Ora l'intelligenza artificiale può produrre argomentazioni matematiche in situazioni nelle quali la persona che ha formulato la richiesta non è in grado di comprendere gli argomenti, verificarli o assumersene la responsabilità». Lo stesso documento aggiunge che «la comprensione umana della matematica rimane di fondamentale importanza».

Sullo stesso tema:

Altman: l’AI avanza lentamente perché gli utenti restano legati ai ve...

New York, l'IA prende il posto di 12 infermiere

L'IA buona e quella cattiva secondo Papa Leone

La prima attrice generata dalla IA Tilly Norwood suscita polemiche reali

Tra le preoccupazioni sollevate vi è anche la questione della validazione indipendente. Alcuni esponenti della comunità matematica ritengono che una parte dei risultati richieda ancora verifiche approfondite e analisi comparative con la letteratura esistente: le dimostrazioni formalizzate in Lean offrirebbero una garanzia logica importante, ma resterebbe necessario stabilire il valore matematico effettivo delle scoperte e il loro grado di originalità rispetto ai lavori già pubblicati. OpenAI, dal canto proprio, sostiene di voler aumentare trasparenza e apertura. Ha dichiarato che continuerà a migliorare la qualità delle pubblicazioni, delle citazioni e dell'esposizione matematica dei risultati. Ha inoltre annunciato l'intenzione di finanziare workshop, conferenze e programmi dedicati allo studio dei risultati prodotti dai sistemi di intelligenza artificiale, con l'obiettivo dichiarato di facilitare la comprensione e la verifica da parte della comunità scientifica.

OpenAI afferma anche di essere al lavoro per rendere disponibile in modo responsabile il modello che ha generato questi risultati e considera la matematica uno dei principali strumenti per valutare le capacità di ragionamento dei suoi sistemi più avanzati: la ricerca matematica rappresenterebbe infatti un terreno particolarmente utile per misurare il progresso dei modelli di frontiera e per sviluppare strumenti destinati al lavoro scientifico.

Al di là della controversia, l'episodio evidenzia una trasformazione sempre più evidente nel rapporto tra matematica e intelligenza artificiale. La discussione non riguarda soltanto la correttezza dei risultati o la loro importanza scientifica, ma anche le modalità con cui la ricerca viene prodotta, verificata e condivisa in un contesto nel quale modelli sempre più sofisticati sono in grado di affrontare problemi che fino a poco tempo fa erano considerati esclusivamente dominio degli studiosi umani.

Per approfondire:

OpenAI porta l'IA su laptop e smartphone con due nuovi modelli open source

Usare ChatGPT riduce il pensiero critico? Due studi svelano che cosa succede dav...

Il ragionamento delle IA è un'illusione: falliscono su indovinelli e ro...

IA: il collasso, reloaded