Venticinque matematici di primo piano hanno firmato una lettera aperta sostenendo che i laboratori di intelligenza artificiale stanno minacciando il loro lavoro intellettuale mentre si sfidano a colpi di soluzioni di famosi problemi matematici. Ogni firmatario ha ricevuto la Medaglia Fields, che è il premio più prestigioso in matematica e, fino a poco tempo fa, un modo affidabile per farsi ascoltare quando dici che c'è un problema.

L'escalation arriva su più fronti. Questa settimana, il professor Tristan Buckmaster della NYU ha accusato OpenAI di aver fatto pressione su di lui affinché non desse credito a un collaboratore che lavora per Anthropic per aver risolto un importante problema matematico, e si è chiesto se l'azienda avesse usato il loro lavoro con Codex per produrre una propria dimostrazione rivoluzionaria durante un weekend marathon di inferenza. Giovedì, OpenAI ha ritirato la sua sponsorizzazione di un evento matematico al CalTech dopo che l'azienda è stata criticata dai ricercatori dell'università - una mossa che risolve il dibattito se una sponsorizzazione possa essere revocata più velocemente di quanto una dimostrazione possa essere verificata.

Mentre i modelli di IA che risolvono le sfide matematiche irrisolte del mondo potrebbero teoricamente essere un vantaggio per l'umanità, i firmatari sostengono che ciò sarà vero solo se quelle soluzioni potranno essere comprese e comunicate dalla comunità matematica e, in ultima analisi, dal resto del mondo. Che è un modo gentile per dire: una dimostrazione che nessuno può leggere è solo un numero molto costoso.

"Spesso queste soluzioni vengono annunciate in fretta, senza tempo per una stesura adeguata, l'isolamento di nuovi metodi e idee, e la citazione del pertinente lavoro precedente di altri", hanno scritto - notando che la dimostrazione di OpenAI rimane non verificata. "Come in tutte le professioni creative, questo solleva gravi questioni di attribuzione e plagio. Inoltre, senza i matematici volenterosi che devono occuparsi del loro sviluppo e integrazione nel canone matematico, le idee concepite dall'IA non diventerebbero mai completamente vive e la cruciale catena di trasmissione umana tra matematici andrebbe perduta."

Con altri matematici che diventano paranoici e si chiedono se il loro uso di Codex sia stato a sua volta alimentato nei nuovi modelli di OpenAI, c'è una reale paura che la cultura della ricerca aperta sia minacciata. Oggi, se i laboratori di frontiera vedono un percorso utile verso una scoperta, possono spendere decine di milioni di dollari usando LLM per battere i ricercatori originali nella dimostrazione - una dinamica che incentiverà la segretezza, che storicamente è l'esatto opposto di come dovrebbe funzionare la matematica.

Questa lettera segue la Dichiarazione di Leiden, rilasciata da un gruppo di lavoro di matematici a giugno. Quel documento affronta anche i modi in cui le dimostrazioni degli LLM cambieranno il loro lavoro, e offre una serie di raccomandazioni per matematici, istituzioni e decisori politici, presumibilmente incluso "forse aspettare la peer review".

Come per l'ingegneria del software e altre aree in cui gli strumenti di IA stanno cambiando i flussi di lavoro, i matematici trovano una giustificazione nel lavoro attorno al lavoro: il valore della matematica non sono solo le dimostrazioni e chi ne riceve il merito, ma la sovrastruttura intellettuale che nutre gli studenti, trova nuove domande e idee e le integra nella più ampia civiltà umana. In altre parole, la risposta non è il punto - il discutere sulla risposta è il punto.

E se non vi interessa particolarmente il mondo spietato delle dimostrazioni matematiche ad alto rischio, non dimenticate: il vostro campo di interesse è il prossimo.

"Le questioni che la comunità matematica affronta ora sono simili a quelle che altre professioni scientifiche e creative stanno affrontando, e indicano problemi che tutta l'umanità potrebbe affrontare: come assicurarsi che, mentre l'IA cambia il modo in cui si fa il lavoro, non perdiamo di vista ciò che quel lavoro doveva realizzare in primo luogo", hanno scritto. Che è il modo più diplomatico possibile per dire: stavamo bene prima che arrivaste voi.