La Simons Foundation ha annunciato una nuova serie di iniziative per aiutare la comunità matematica ad affrontare la rapida ascesa dell’intelligenza artificiale nel campo, sostenuta da 15 milioni di dollari in finanziamenti e risorse combinati dalla fondazione, da Anthropic e da OpenAI.
La fondazione gestirà e assegnerà i finanziamenti, anche attraverso un invito aperto a presentare proposte, per sostenere workshop e iniziative che aiutano i ricercatori a valutare i recenti risultati assistiti dall’intelligenza artificiale, apprendere e utilizzare nuovi strumenti, condividere prospettive e modellare standard collettivi su come l’intelligenza artificiale viene utilizzata nella ricerca matematica. Per maggiori informazioni su questa storia, consulta la nostra notizie sull'IA.
Strumenti e calcolo oltre la matematica
Oltre al finanziamento, Anthropic e OpenAI forniranno strumenti di intelligenza artificiale e risorse informatiche ai ricercatori supportati dalla Simons Foundation. Secondo l’annuncio della fondazione, tale sostegno si estende oltre la matematica per includere la scienza di base in modo più ampio, un canale insolitamente diretto tra i laboratori di intelligenza artificiale di frontiera e i ricercatori accademici attivi.
L’accordo è degno di nota per la sua struttura: anziché essere i laboratori a stabilire l’agenda, è la fondazione a controllare come vengono assegnati i soldi, e il materiale per la stampa sottolinea che i premi e le risorse saranno guidati dalla comunità.
Perché la matematica è in prima linea
La matematica è diventata uno dei banchi di prova più importanti per l’intelligenza artificiale nella scienza. La Simons Foundation è stata uno dei primi sostenitori dell’apprendimento automatico per la scienza, finanziando anche lo sviluppo dell’assistente Lean Proof, che ha rimodellato il modo in cui i matematici formalizzano il lavoro e hanno reso possibili le dimostrazioni assistite dall’intelligenza artificiale. Poiché i sistemi di intelligenza artificiale contribuiscono sempre più alla scoperta matematica, la comunità si trova ad affrontare un problema pratico: come verificare, valutare e fidarsi dei risultati prodotti con una sostanziale assistenza meccanica.
Questo problema di verifica è fondamentale per ciò che la nuova iniziativa sta finanziando. Workshop e iniziative volti a "valutare i recenti risultati assistiti dall'intelligenza artificiale" riconoscono che il tradizionale processo di revisione tra pari non è stato progettato per prove redatte con, o in alcuni casi sostanzialmente prodotte da, sistemi di intelligenza artificiale.
L'inquadramento della Fondazione: la comunità al primo posto
Il presidente della Simons Foundation, David Spergel, ha definito l’iniziativa come un momento per prendere decisioni collettive. "Mentre l'intelligenza artificiale rimodella rapidamente il panorama della ricerca, vogliamo aiutare la comunità matematica a riunirsi e a tracciare il miglior percorso da seguire", ha affermato Spergel nell'annuncio. "Ora è il momento di guardare alla matematica nel suo insieme, non come una raccolta di dimostrazioni e teoremi, ma come una comprensione collettiva guidata dalla curiosità umana."
Spergel è stato esplicito su chi dovrebbe fissare le condizioni dell'adozione. "La comunità dovrebbe guidare le discussioni su come questi strumenti vengono valutati, adottati e utilizzati, non una singola azienda o istituzione", ha affermato. "L'obiettivo del programma è sostenere la comunità matematica."
La dichiarazione si legge come un deliberato contrasto con una dinamica familiare nell’adozione dell’intelligenza artificiale: le singole istituzioni negoziano accordi separati con i fornitori di modelli, con norme stabilite da qualunque laboratorio o università si muova per primo. Indirizzando i finanziamenti attraverso un bando aperto ed enfatizzando gli standard collettivi, la fondazione sta tentando di stabilire un punto di coordinamento per una disciplina il cui risultato – le prove – è insolitamente verificabile, e quindi insolitamente esposto a scorciatoie assistite dall’intelligenza artificiale.
Un modello per altri campi
L’iniziativa può servire da modello oltre la matematica. I campi scientifici di base si trovano ad affrontare la stessa domanda di fondo – come assorbire gli strumenti di intelligenza artificiale senza cedere gli standard ai fornitori di tali strumenti – e la struttura della Simons Foundation, in cui un’organizzazione filantropica neutrale gestisce le risorse donate da società di intelligenza artificiale concorrenti, è uno dei primi tentativi di risposta.
La storia della fondazione le ha dato la credibilità necessaria per svolgere questo ruolo: oltre al finanziamento iniziale dell’assistente Lean Proof, ha organizzato workshop, conferenze e collaborazioni per esplorare il ruolo dell’intelligenza artificiale in matematica. Il nuovo impegno da 15 milioni di dollari formalizza la convocazione del potere in un programma finanziato proprio nel momento in cui i risultati assistiti dall’intelligenza artificiale stanno arrivando più velocemente di quanto le norme della comunità possano assorbirli.
---
Rimani Aggiornato sull'IALe ultime notizie, analisi e scoperte sull'intelligenza artificiale — tutto in un posto.
Leggi altre notizie sull'IA →
