The Pulse
La Simons Foundation guida una partnership da 15 milioni di dollari tra IA e matematica
La Simons Foundation, Anthropic e OpenAI metteranno a disposizione finanziamenti e risorse per un totale di 15 milioni di dollari per aiutare i matematici a valutare il lavoro svolto con l’ausilio dell’IA e a sviluppare standard condivisi.
AI.info Team · Scritto con l’IA ·
«Dovrebbe essere la comunità a guidare il dibattito su come questi strumenti vengono valutati, adottati e utilizzati, non una singola azienda o istituzione.»
David Spergel, presidente, Simons Foundation
La Simons Foundation, Anthropic e OpenAI hanno annunciato il 15 ottobre una partnership da 15 milioni di dollari per aiutare i matematici a rispondere al crescente impiego dell’intelligenza artificiale nella ricerca. La fondazione gestirà e assegnerà il sostegno, anche attraverso un bando aperto per la presentazione di proposte, mentre Anthropic e OpenAI forniranno strumenti di IA e risorse di calcolo ai ricercatori sostenuti dalla fondazione.
Il programma è pensato per finanziare workshop e altre iniziative in cui i ricercatori possano valutare i risultati ottenuti con l’ausilio dell’IA, imparare a usare nuovi strumenti, confrontare le proprie prospettive e sviluppare standard condivisi per l’uso dell’IA. L’annuncio non specifica come i 15 milioni di dollari siano ripartiti tra i partner né tra finanziamenti e altre risorse.
Simons deciderà chi riceverà il sostegno
Affidare alla fondazione il controllo sull’assegnazione del sostegno lascia la selezione dei beneficiari fuori dalle due aziende di IA, pur coinvolte nel fornire risorse all’iniziativa. La fondazione afferma che il bando aperto sosterrà attività promosse dalla comunità, ma il suo annuncio non indica una scadenza per presentare domanda, i requisiti di ammissibilità o un calendario delle assegnazioni.
Spergel ha presentato l’iniziativa come un’occasione per i matematici di determinare come l’IA entrerà nella loro disciplina, anziché lasciare le decisioni alle aziende tecnologiche o a una singola istituzione. Gli obiettivi dichiarati vanno dalla verifica dei recenti risultati ottenuti con l’ausilio dell’IA alla definizione di aspettative condivise su come i ricercatori usano questi strumenti.
I 15 milioni di dollari comprendono finanziamenti e risorse
La cifra principale comprende «finanziamenti e risorse complessivi» dei tre partner. L’annuncio non specifica il contributo di ciascun partner, non indica quanto sarà distribuito sotto forma di finanziamenti né attribuisce un valore in dollari distinto agli strumenti di IA e alle risorse di calcolo che Anthropic e OpenAI forniranno.
Questi strumenti e risorse non sono limitati alla matematica: la fondazione afferma che saranno disponibili anche per i ricercatori che sostiene nella ricerca scientifica di base. La partnership ha quindi una portata più ampia rispetto al suo obiettivo centrale, rivolto ai matematici, anche se l’annuncio non descrive quali progetti di ricerca scientifica di base potranno accedervi né come funzionerà l’accesso.
Lean fa parte della storia della fondazione nel campo dell’IA e della matematica
La Simons Foundation richiama il sostegno già dato al machine learning nella ricerca scientifica, compreso il finanziamento dello sviluppo di Lean, un assistente alla dimostrazione usato per formalizzare argomentazioni matematiche. I sistemi di dimostrazione formale possono consentire ai ricercatori di verificare se una dimostrazione deriva dalle ipotesi dichiarate, un compito che ha suscitato rinnovata attenzione man mano che i sistemi di IA producono affermazioni matematiche.
La fondazione afferma inoltre di aver organizzato workshop, conferenze e collaborazioni sul ruolo dell’IA nella matematica. La nuova iniziativa amplia questo lavoro con finanziamenti e accesso agli strumenti, lasciando alla comunità dei ricercatori il compito di proporre le attività e gli standard specifici che intende perseguire.
I dettagli che i matematici devono ancora conoscere
L’annuncio definisce l’impegno complessivo della partnership e il suo scopo generale, ma lascia senza risposta alcune questioni pratiche. Non dice quando si aprirà il bando, chi potrà presentare domanda, come saranno valutate le proposte o quando i ricercatori potranno aspettarsi una decisione.
Non spiega neppure come i partner distingueranno il sostegno alla valutazione della matematica generata dall’IA dal sostegno allo sviluppo o all’uso dei sistemi stessi. Per ora, gli impegni concreti sono un processo di assegnazione gestito dalla fondazione, un bando aperto di prossima pubblicazione e strumenti di IA e risorse di calcolo forniti da Anthropic e OpenAI ai ricercatori sostenuti dalla fondazione nella matematica e nella ricerca scientifica di base.