The Pulse
SAIR di Terence Tao lancia un piano per modelli matematici aperti
La Foundation for Science and AI Research ha annunciato un’iniziativa per sviluppare modelli aperti per la matematica e invita partner a contribuire con finanziamenti, capacità di calcolo, competenze o supporto alla costruzione di una comun
AI.info Team ·
«Inizialmente avevamo pianificato un avvio graduale di questa iniziativa, cominciando con alcuni progetti pilota nei prossimi mesi, ma, visti gli eventi attuali e l’elevata domanda di modelli aperti, stiamo accelerando i tempi e anticipando a oggi l’annuncio iniziale dell’iniziativa, nonostante alcuni aspetti chiave della pianificazione siano ancora in corso.»
Terence Tao, cofondatore di SAIR
La Foundation for Science and AI Research ha avviato un nuovo progetto 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 dichiarato 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 né una data di consegna. Descrive un programma in fase iniziale, pensato per consentire ai matematici di usare 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 si collocano tra la revisione della letteratura, la sperimentazione, la programmazione e la dimostrazione formale. Tra i primi casi d’uso indicati da SAIR figurano la comprensione di argomentazioni difficili, la verifica dei riferimenti, l’esplorazione di esempi, la scrittura di codice e la formalizzazione di dimostrazioni.
Questa impostazione distingue il progetto da una competizione mirata soltanto a risolvere problemi delle Olimpiadi della matematica o a massimizzare il punteggio in un benchmark. SAIR afferma di voler valutare i sistemi in base all’affidabilità dell’assistenza, alla verificabilità dei risultati e al costo di un utilizzo prolungato. 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 decidere come addestrare i sistemi, su cosa testarli e come metterli al servizio della ricerca e dell’istruzione. SAIR afferma che la partecipazione dovrebbe restare aperta a istituzioni, aree geografiche e persone in ogni fase della carriera, anziché essere limitata a un ristretto gruppo di laboratori.
Pesi aperti, metodi pubblicati e dati documentati
La proposta di SAIR prevede pesi dei modelli e codice con licenze aperte, metodi di addestramento pubblicati e valutazioni riproducibili. Afferma inoltre che i dati di addestramento dovrebbero provenire da fonti documentate e disporre di autorizzazioni compatibili, con eventuali restrizioni alla ridistribuzione indicate chiaramente.
La fondazione afferma che le future versioni riporteranno gli insuccessi e i limiti, oltre ai risultati positivi. Team 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 set di dati.
La proposta cita Apache 2.0, MIT e CC BY 4.0 come esempi di licenze che potrebbero essere utilizzate, ove opportuno. Afferma inoltre che i contributori dovrebbero concordare fin dall’inizio proprietà, licenze e attribuzione del lavoro sviluppato congiuntamente, mantenendo al contempo i diritti sulle proprie ricerche indipendenti e precedenti.
I ricercatori avrebbero il controllo sull’uso dei propri dati
La governance dei dati è una parte centrale del piano. SAIR afferma che dovrebbe essere la comunità matematica a decidere come vengono utilizzati i dati condivisi e che i dati degli utenti saranno impiegati per addestrare o migliorare i modelli solo con il consenso esplicito e alle condizioni concordate in precedenza.
La fondazione promette inoltre regole e decisioni di governance pubbliche. I membri dovrebbero poter proporre modifiche, partecipare alle decisioni e chiedere conto del proprio operato ai responsabili dell’iniziativa.
Questa struttura è ancora una proposta, non un sistema operativo per il progetto. Insieme all’annuncio, SAIR non ha pubblicato un consiglio di governance, una procedura di voto, un processo di revisione dei dati o un accordo con i partner.
Prossimamente, partner e capacità di calcolo a prezzi accessibili
Nello stesso post sul suo sito web, Tao afferma che SAIR stava negoziando con partner accademici e industriali per sviluppare modelli con pesi aperti per la scienza e strumenti open source per utilizzare modelli linguistici sia aperti sia chiusi.
SAIR cerca organizzazioni e persone in grado di contribuire con finanziamenti, capacità di calcolo, competenze tecniche o supporto alla costruzione di una comunità. Tao afferma che l’organizzazione prevede di fornire maggiori informazioni sui partner e sui piani futuri, compreso il modo in cui il progetto si collegherà ai podcast, agli eventi e alle competizioni matematiche già organizzati da SAIR.
La fondazione afferma che le partnership industriali devono preservare l’indipendenza della ricerca della comunità matematica. Presenta inoltre la capacità di calcolo a prezzi accessibili come una risorsa pubblica condivisa, ma non stima le risorse hardware, la scala dell’addestramento o i 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 sia pronto all’uso un modello matematico aperto. L’organizzazione ha definito principi in materia di licenze, consenso all’uso dei dati, valutazione e governance, lasciando che il programma tecnico venga definito insieme ai futuri partner.
La prova immediata sarà capire se SAIR riuscirà a trasformare questi principi in un progetto finanziato, con metodi pubblici, contributori identificabili e un rilascio riproducibile. Per ora, l’azione concreta è la ricerca di partner; gli annunci dettagliati arriveranno in seguito.