The Pulse

La SAIR di Terence Tao lancia un piano per modelli aperti per la matematica

La Foundation for Science and AI Research ha annunciato un’iniziativa per sviluppare modelli aperti per la matematica, invitando i partner a contribuire con finanziamenti, risorse di calcolo, competenze o sostegno alla creazione di una comu

AI.info Team · Scritto con l’IA · verificato · 2026-09-20

«Inizialmente avevamo previsto un avvio graduale di questa iniziativa, cominciando con alcuni progetti pilota nei prossimi mesi, ma, alla luce degli eventi attuali e della forte domanda di modelli aperti, stiamo accelerando i tempi e anticipando a oggi il primo annuncio dell’iniziativa, nonostante alcuni aspetti fondamentali della pianificazione siano ancora in corso».

Terence Tao, cofondatore di SAIR

La Foundation for Science and AI Research ha avviato una nuova iniziativa per sviluppare modelli aperti per la matematica. Terence Tao ha spiegato che l’organizzazione sta procedendo più rapidamente del previsto perché la domanda di sistemi aperti è aumentata. In un post datato 18 settembre 2026, Tao ha detto che SAIR invitava i potenziali partner a manifestare il proprio interesse.

L’annuncio non comprende il rilascio di un modello, il nome di un partner industriale, un budget per l’addestramento o una data di consegna. Descrive un programma ancora in fase iniziale, volto a offrire ai matematici l’accesso a modelli che possano esaminare, modificare, riprodurre ed eseguire al di fuori di un’unica piattaforma commerciale.

Il primo obiettivo di SAIR è il lavoro matematico quotidiano

La prima fase dell’iniziativa si concentrerà su attività che spaziano dalla revisione della letteratura alla sperimentazione, dalla programmazione alla dimostrazione formale. Tra i primi casi d’uso indicati da SAIR figurano la comprensione di argomentazioni complesse, la verifica dei riferimenti, l’esplorazione di esempi, la scrittura di codice e la formalizzazione delle dimostrazioni.

Questa impostazione distingue il progetto da una competizione volta soltanto a risolvere problemi olimpici o a massimizzare il punteggio in un benchmark. SAIR intende valutare i sistemi in base all’affidabilità dell’assistenza, alla verificabilità dei risultati e al costo di un utilizzo continuativo. La fondazione non ha pubblicato un punteggio obiettivo né un set di valutazione pubblico per i modelli proposti.

Ai ricercatori sarà chiesto di contribuire a determinare come addestrare i sistemi, su quali elementi testarli e come dovrebbero essere utilizzati nella ricerca e nell’istruzione. Secondo SAIR, la partecipazione dovrebbe restare aperta a istituzioni, regioni e persone in diverse fasi della carriera, anziché essere limitata a un piccolo gruppo di laboratori.

Pesi aperti, metodi pubblicati e dati documentati

La proposta di SAIR prevede pesi e codice dei modelli con licenza aperta, metodi di addestramento pubblicati e valutazioni riproducibili. Anche le fonti dei dati di addestramento dovrebbero essere documentate e i permessi compatibili, con restrizioni alla ridistribuzione indicate chiaramente.

Secondo la fondazione, i futuri rilasci segnaleranno errori e limiti accanto ai risultati positivi. I gruppi indipendenti dovrebbero poter riprodurre il lavoro e adattare i sistemi alle proprie esigenze matematiche, anche se SAIR non ha ancora specificato quali licenze si applicheranno ai singoli modelli o dataset.

La proposta cita Apache 2.0, MIT e CC BY 4.0 come esempi di licenze che potrebbero essere utilizzate, ove opportuno. I collaboratori dovrebbero concordare fin dall’inizio proprietà, licenze e attribuzione del lavoro sviluppato congiuntamente, mantenendo i diritti sulle proprie ricerche indipendenti e precedenti, si legge inoltre nella proposta.

I ricercatori avrebbero il controllo sull’uso dei propri dati

La governance dei dati è una parte centrale del piano. Secondo SAIR, la comunità matematica dovrebbe decidere come vengono usati i dati condivisi e i dati degli utenti saranno utilizzati per addestrare o migliorare i modelli solo con un consenso esplicito e a condizioni concordate in precedenza.

La fondazione promette anche regole di governance e decisioni pubbliche. I membri dovrebbero avere la possibilità di proporre modifiche, partecipare alle decisioni e chiedere conto del loro operato ai responsabili dell’iniziativa.

Questa struttura è ancora una proposta, non un assetto operativo del progetto. Insieme all’annuncio, SAIR non ha pubblicato un consiglio direttivo, una procedura di voto, un processo di revisione dei dati o un accordo con i partner.

I prossimi passi: partner e risorse di calcolo accessibili

Nello stesso post sul suo sito, Tao afferma che SAIR era in trattativa con partner accademici e industriali per modelli a pesi aperti destinati alla scienza e strumenti open source per utilizzare modelli linguistici sia aperti sia chiusi.

SAIR cerca organizzazioni e persone in grado di contribuire con finanziamenti, risorse di calcolo, competenze tecniche o sostegno alla creazione di una comunità. Tao afferma che l’organizzazione prevede di fornire maggiori informazioni sui propri partner e sui piani futuri, anche su come l’iniziativa si collegherà ai podcast, agli eventi e alle competizioni matematiche già esistenti di SAIR.

Secondo la fondazione, le partnership industriali devono preservare l’indipendenza della ricerca della comunità matematica. La fondazione presenta anche risorse di calcolo a prezzi accessibili come una risorsa pubblica condivisa, ma non fornisce stime sull’hardware, sulla scala dell’addestramento o sui costi operativi necessari per sviluppare i sistemi proposti.

Un impegno pubblico prima del rilascio di un modello

L’annuncio di SAIR è dunque una dichiarazione d’intenti e un invito a collaborare, non la prova che un modello matematico aperto sia pronto per l’uso. L’organizzazione ha definito principi per le licenze, il consenso all’uso dei dati, la valutazione e la governance, lasciando che il programma tecnico venga definito con i futuri partner.

La prova immediata sarà capire se SAIR riuscirà a trasformare questi principi in un progetto finanziato, con metodi pubblici, collaboratori identificabili e un rilascio riproducibile. Per ora, l’azione concreta è l’invito rivolto ai partner, mentre gli annunci dettagliati devono ancora arrivare.