The Pulse
Meta afferma che Muse Spark ha contribuito a rispondere a cinque questioni matematiche aperte
Secondo Meta, alcuni matematici che hanno lavorato con Muse Spark hanno prodotto sei articoli di ricerca, cinque dei quali rispondono a questioni rimaste finora aperte. Tra gli articoli figurano un controesempio a una congettura sulle algeb
AI.info Team ·
«Risolviamo una questione aperta posta da Boulenger–Lenzmann.»
Leonard Dinh, autore dell’articolo
Meta afferma che i suoi modelli Muse Spark hanno aiutato alcuni matematici a rispondere a cinque questioni di ricerca rimaste finora aperte. Il lavoro è descritto in sei articoli pubblicati il 2 ottobre. Secondo l’azienda, i ricercatori hanno usato Muse Spark 1.1 e 1.2 in Thinking Mode tramite la normale interfaccia di chat di meta.ai, senza un’infrastruttura di ricerca personalizzata. I risultati riguardano probabilità, equazioni differenziali, teoria dei gruppi, ottimizzazione e fisica matematica.
Meta parla di una collaborazione, non di un modello che abbia prodotto autonomamente cinque dimostrazioni complete. Secondo l’azienda, i matematici hanno guidato le indagini, sviluppato le argomentazioni con il modello e verificato il lavoro; ogni articolo indica i passaggi redatti principalmente dai ricercatori o dall’IA. Gli articoli citano anche gli studi precedenti su cui si basano.
Cinque questioni, sei articoli
I sei articoli non corrispondono uno a uno alle cinque questioni aperte messe in evidenza da Meta. Tra i risultati riportati, uno stabilisce una soglia per adattare un ellissoide a punti gaussiani casuali in uno spazio ad alta dimensionalità: al di sotto della soglia, l’adattamento esiste con alta probabilità; al di sopra, quasi certamente non esiste. Meta afferma che resta da chiarire cosa accada esattamente alla soglia.
In un risultato relativo a un’equazione di Schrödinger non lineare, l’articolo di Leonard Dinh dimostra che le soluzioni radiali con energia negativa in due o più dimensioni collassano in un tempo finito. Meta lo descrive come la soluzione di una questione rimasta aperta nel 2015 e la conferma di una previsione formulata sulla base di simulazioni al computer nel 2002. Nell’ambito della teoria dei gruppi, i ricercatori hanno trovato un controesempio di 384 elementi a una congettura secondo cui alcuni gruppi finiti devono avere anche una proprietà detta monomiale.
Un quarto risultato fornisce una condizione in base alla quale una particolare versione rilassata di un problema di ottimizzazione polinomiale binaria coincide esattamente con il problema originale. Il quinto articolo, sulle algebre di evoluzione, confuta una congettura sulla loro classificazione. Il sesto, sulla fisica aritmetica, collega un calcolo della teoria delle stringhe p-adica a una funzione matematica di altezza su una classe più ampia di curve. Meta classifica cinque dei sei articoli come risposte a questioni di ricerca rimaste finora aperte.
I ricercatori hanno guidato e verificato il lavoro
Il ruolo del modello è cambiato da un articolo all’altro. Secondo Meta, Muse Spark ha aiutato a sviluppare e rivedere le strategie di dimostrazione per il risultato sull’ellissoide; per l’articolo di teoria dei gruppi, ha generato un programma di ricerca che ha trovato il controesempio. Nell’articolo sulle stringhe p-adiche, il modello ha aiutato a individuare un collegamento, ha generato possibili dimostrazioni e ha redatto tre sezioni tecniche, che i ricercatori hanno poi verificato e rivisto.
Queste descrizioni mostrano che i ricercatori sono intervenuti in diverse fasi del lavoro. Aykut Arslan ha guidato l’indagine sull’ellissoide, mentre altri quattro matematici ne hanno verificato e perfezionato le argomentazioni. Per il risultato sull’equazione di Schrödinger non lineare, Dinh ha scelto la questione e le idee chiave della dimostrazione; altri due matematici hanno esaminato il lavoro e contribuito a perfezionarlo.
Alcune risposte sono emerse indipendentemente altrove
Meta afferma che altri gruppi hanno annunciato in modo indipendente soluzioni ad alcuni degli stessi problemi, usando approcci diversi. Il suo articolo sull’adattamento dell’ellissoide a punti gaussiani riconosce tre lavori indipendenti pubblicati nell’agosto 2026, tra cui uno che ha dimostrato la stessa soglia. Anche l’articolo di teoria dei gruppi segnala che il 16 settembre l’agente di IA Nilradical ha riportato un diverso controesempio alla congettura.
Queste sovrapposizioni contano nell’interpretare l’annuncio: Meta presenta gli articoli come contributi realizzati con Muse Spark, non come le uniche soluzioni a ciascuna questione. La stessa ricostruzione dell’azienda dà conto sia dei lavori indipendenti sia degli aspetti ancora irrisolti, compreso il caso della soglia per i punti gaussiani. A sostegno dell’annuncio ci sono sei articoli di ricerca, nei quali ai matematici viene riconosciuto il ruolo di scegliere, guidare e verificare il lavoro svolto insieme a Muse Spark.