Il 2 ottobre 2026 Meta AI Research ha pubblicato sei paper nati da una collaborazione di mesi tra matematici e Muse Spark 1.1 e 1.2. Cinque rispondono a questioni di ricerca che il blog definisce precedentemente aperte. Il lavoro è passato dalla chat standard di meta.ai, in Thinking Mode, senza uno scaffold di ricerca costruito ad hoc.
Non è un benchmark a risposta nota. Meta ricorda che, all’inizio dell’anno, i suoi modelli avevano raggiunto un livello da medaglia d’oro in cinque competizioni olimpiche di matematica, fisica e chimica. La domanda successiva era un’altra: il modello serve quando non esiste un percorso di soluzione già scritto.
Chat standard, revisione doppia
I matematici hanno guidato la scelta dei problemi e le idee di prova. Una seconda squadra ha controllato gli argomenti. Ogni paper marca i passaggi redatti soprattutto dai ricercatori e quelli redatti dal modello, cita il lavoro precedente e, dove esiste, una soluzione indipendente annunciata da altri gruppi.
Alexandr Wang, chief AI officer di Meta, ha elencato i sei titoli lo stesso giorno. Il blog è più preciso del post: sei paper, cinque risposte a questioni prima aperte. L’obiettivo dichiarato non è produrre manoscritti in serie, ma dare ai ricercatori argomenti che altri possano leggere e riusare. Muse Spark 1.1 è il modello di ragionamento di Meta Superintelligence Labs reso disponibile in Thinking Mode il 9 luglio 2026. La 1.2, aggiornamento orientato al coding, è uscita il 5 agosto insieme a Muse Code. Qui non risulta usato un agente di ricerca dedicato: la stessa interfaccia pubblica della chat.
Soglia stretta per l’ellissoide gaussiano
The Strict Threshold for Gaussian Ellipsoid Fitting, di Aykut Arslan con Muse Spark, studia n vettori gaussiani indipendenti in dimensione d. La domanda è se esista una matrice semidefinita positiva S tale che ogni punto stia sull’ellissoide definito da S.
La soglia è n ∼ d²/4.
- Se il limite superiore di n/d² è sotto 1/4, un ellissoide esiste con probabilità che tende a 1, ed è definito positivo.
- Se il limite inferiore di n/d² è sopra 1/4, un tale S quasi certamente non esiste.
- Il caso esatto n/d² → 1/4 resta aperto.
La revisione è di Babak Modami, Alexander Roitershtein, Mark Sepanski e Grigory Sokolov. Il paper riconosce tre lavori indipendenti di agosto 2026: Misiakiewicz e Wen, De la Cerda, Potechin, Tulsiani e Xu e Koehler e Sohn, con approcci diversi.
Blow-up finito, aperto dal 2015
Finite-Time Blow-Up of Radial Negative-Energy Solutions for the Mass-Critical Biharmonic Nonlinear Schrödinger Equation, di Leonard Dinh con Muse Spark, riguarda un modello di collasso d’onda ispirato alla fisica dei laser.
Per onde simmetriche rispetto a un centro e a energia negativa, in dimensione due o più, il collasso deve avvenire in tempo finito. Meta dice che la questione era aperta dal 2015 e che il risultato conferma, in questo setting, una previsione da simulazioni del 2002. Dinh ha scelto problema e idee di prova; il modello ha aiutato su calcoli, tentativi e revisioni. Hanno rivisto Fazel Hadadifard e Salem Selim.
Un controesempio di ordine 384
Semiabelian Groups Need Not Be Monomial, di Joseph Phillip Brennan e Milana Golich con Muse Spark, smentisce una congettura di M. Kida del 2024: ogni gruppo finito semiabeliano sarebbe anche monomial.
Basta un’eccezione. Il controesempio ha 384 elementi. Muse Spark ha generato il programma di ricerca in GAP che lo ha trovato; i matematici lo hanno verificato e hanno chiuso l’argomento. Revisione di Andres Barei e John Portin. Il blog cita anche l’agente Nilradical, che il 16 settembre 2026 ha riportato un controesempio diverso, sviluppato in modo indipendente.
Ottimizzazione, stringhe e algebre di evoluzione
Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles, ancora di Arslan con Muse Spark e revisione di Kien Trung Le, risponde a una domanda posta nel 2026 da Del Pia e Khajavirad. Per la famiglia studiata, il rilassamento è esatto quando ogni regione condivisa da due cerchi ma non dal terzo contiene esattamente una decisione. Se una di quelle regioni ne contiene più di una, resta un gap. String Two-Point Function = Height Function on a Curve, di Anindya Dey, Gabriel Herczeg, An Huang, Nicolas Jaramillo Torres e Jacob H. Swenberg con Muse Spark, estende un’equivalenza nota per la curva di Tate. Su curve su un campo locale p-adico con riduzione semistabile, la two-point function di bordo di una string theory p-adica coincide con il pairing di Néron local height sui divisori di grado zero. Il blog colloca la direzione in un’idea di Yuri Manin degli anni Ottanta e dice che il modello ha redatto tre sezioni tecniche centrali.
On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez, di Andres Barei con Muse Spark e revisione di Nicolás Jaramillo Torres, dà un controesempio tridimensionale a un test proposto per le algebre di evoluzione risolubili, strutture ispirate alla biologia evolutiva. Il paper aggiunge una caratterizzazione alternativa sui sottospazi, non sui singoli elementi. Meta cita un lavoro indipendente di Hu e Wen con altri controesempi.
Cosa non dimostra l’annuncio
I sei testi sono pubblicati sul sito di ricerca Meta, non risultano come articoli già accettati da una rivista. Il caso di soglia esatta dell’ellissoide resta aperto. Tre filoni avevano soluzioni concurrenti. Il contributo del modello varia: codice di ricerca, controesempi, bozze di sezioni, non una prova autonoma firmata solo dall’AI.
Per chi costruisce agenti, il segnale utile è un altro. Un modello già in chat, senza pipeline privata, ha retto iterazioni lunghe su problemi senza answer key, a patto che un matematico scelga la domanda e un secondo controlli. È un protocollo di lavoro, non una garanzia di scoperta.
Fonti
Testo: assistito da AI · revisionato da Carlos H. P. Ross
