Meta usa modelos Muse Spark para resolver problemas abertos de matemática
Colaboração entre matemáticos e IA
A Meta anunciou seis artigos científicos produzidos em parceria entre matemáticos e os modelos Muse Spark 1.1 e 1.2 (usados em Thinking Mode pela interface normal do meta.ai, sem estruturas de pesquisa personalizadas). Cinco dos seis apresentam respostas a questões de pesquisa anteriormente abertas. A iniciativa vem depois de os modelos da empresa atingirem desempenho de medalha de ouro em cinco olimpíadas de ensino médio de matemática, física e química.
A empresa destaca que pesquisa aberta difere de competições: não há gabarito nem garantia de que uma abordagem funcione. O objetivo declarado não foi produzir papers em massa, mas ajudar pesquisadores a desenvolver insights matemáticos verificáveis. Os trabalhos seguiram princípios definidos: uma equipe de matemáticos guiou a pesquisa, um segundo grupo revisou, cada artigo marca quais trechos foram escritos por pesquisadores e quais pela IA, e cada um credita pesquisas anteriores.
Os seis resultados
Probabilidade - Com Aykut Arslan, o artigo resolve uma questão antiga sobre ajustar pontos gaussianos aleatórios em alta dimensão a um elipsoide, identificando um limiar exato no número de pontos: abaixo dele, o elipsoide existe com alta probabilidade; acima, quase certamente não existe. O comportamento exatamente no limiar segue em aberto. Três trabalhos independentes concorrentes foram anunciados em agosto de 2026.
Equações diferenciais - Com Leonard Dinh, o paper prova que, para a equação de Schrödinger não linear biharmônica massa-crítica, ondas simétricas com energia negativa em duas ou mais dimensões colapsam em tempo finito, respondendo a questão aberta desde 2015 e confirmando simulação de 2002.
Teoria dos grupos - Joseph Phillip Brennan e Milana Golich refutaram uma conjectura de M. Kida (2024) de que todo grupo finito semiabeliano seria monomial, encontrando um contraexemplo com 384 elementos. O Muse Spark gerou o programa de busca em GAP que encontrou o contraexemplo. O agente de IA Nilradical havia reportado outro contraexemplo em 16 de setembro de 2026, de forma independente.
Otimização - Com Arslan novamente, o artigo responde a questão de Del Pia e Khajavirad (2026) sobre quando uma relaxação de otimização polinomial binária é exata, estabelecendo uma regra clara baseada em quantas decisões há em cada região compartilhada.
Física aritmética - Um time de cinco pesquisadores usou o modelo para conectar teoria dos números e teoria de cordas p-ádica, seguindo direção vislumbrada por Yuri Manin nos anos 1980, mostrando que dois cálculos em linguagens diferentes descrevem a mesma grandeza. O modelo gerou provas candidatas e redigiu três seções técnicas centrais.
Álgebra não associativa - Andres Barei refutou a conjectura de García-Martínez e Pérez-Rodríguez sobre identificar álgebras de evolução solúveis, com um contraexemplo tridimensional, e propôs uma caracterização alternativa mais precisa. Hu e Wen haviam reportado contraexemplos independentes.
Posicionamento
A Meta afirma que acredita que o progresso científico exigirá colaboração próxima entre especialistas e IA, com resultados verificados, transparentes quanto à produção e bem comunicados à comunidade de pesquisa.