Meta diz que Muse Spark ajudou a responder a cinco questões matemáticas em aberto

A Meta afirmou em 2 de outubro que matemáticos trabalhando com o Muse Spark produziram seis artigos de pesquisa, cinco deles voltados a questões que estavam em aberto. A descrição da empresa aponta para uma colaboração orientada por pessoas e apoiada por IA: os matemáticos conduziram o trabalho, e outro grupo revisou os resultados. Não se trata de dizer que um chatbot resolveu seis problemas por conta própria. 17

O que os artigos investigam

Os trabalhos cobrem diferentes áreas da matemática. Entre os resultados e temas divulgados estão:

• Probabilidade e geometria: The Strict Threshold for Gaussian Ellipsoid Fitting estabelece um limite em torno de (n \sim d^2/4) para a existência de uma matriz semidefinida positiva que satisfaça condições definidas por vetores gaussianos aleatórios. 1
• Teoria dos grupos: um dos artigos apresenta um grupo com 384 elementos que serve de contraexemplo a uma conjectura proposta em 2024. Segundo relatos sobre o trabalho, o Muse Spark escreveu um programa de busca para o GAP, um sistema de software usado em matemática; os matemáticos conferiram o contraexemplo e completaram a demonstração. 20
• Álgebra: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez aborda a conjectura mencionada no título. 4
• Otimização: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles analisa se uma relaxação baseada em ciclos é exata em determinado problema. 4
• Física matemática: a lista de publicações inclui String Two-Point Function = Height Function on a Curve. 4
• Equações diferenciais: outro trabalho trata de explosão em tempo finito para soluções radiais de energia negativa de uma equação de Schrödinger não linear biharmônica, crítica em massa.

A contagem da Meta merece uma ressalva: a empresa diz que cinco dos seis artigos respondem a questões anteriormente em aberto, mas a lista disponível não deixa claro, de forma verificável, quais cinco trabalhos correspondem a quais problemas. 174

Como foi a colaboração com a IA

Os pesquisadores usaram as versões 1.1 e 1.2 do Muse Spark, no modo Thinking, pela interface comum de conversa do meta.ai — sem uma estrutura de pesquisa personalizada. Segundo a Meta, os matemáticos orientaram a investigação e desenvolveram argumentos com o modelo; um segundo grupo de matemáticos revisou o trabalho. Os artigos também indicam quais trechos foram redigidos principalmente pelos pesquisadores e quais tiveram participação da IA. 17

Essa distinção importa para interpretar os resultados: o modelo pode contribuir com ideias, argumentos ou código, mas a seleção dos problemas e a revisão ficaram a cargo de pessoas. No exemplo de teoria dos grupos, o programa de busca foi uma parte do processo; os matemáticos verificaram o contraexemplo e concluíram o argumento. 20

O que ainda não está esclarecido

Os artigos são evidência de que um modelo de IA pode contribuir para pesquisas matemáticas supervisionadas. Por si só, porém, eles não demonstram que os resultados sejam exclusivos nem que as respostas matemáticas do modelo sejam confiáveis em geral. Outros relatos mencionam resultados alcançados de forma independente por outras equipes, o que torna importante considerar possíveis sobreposições ao discutir prioridade.

Além disso, revisão humana não é o mesmo que verificação formal. Nesse processo, uma demonstração é escrita em uma linguagem rigorosa para que um computador possa conferir cada etapa. A descrição da Meta fala em revisão por matemáticos, mas o material disponível não confirma se as provas dos artigos foram verificadas com assistentes de prova. 17

A Meta apresentou o Muse Spark em 8 de abril de 2026 como o primeiro modelo da Meta Superintelligence Labs. Os artigos de outubro mostram uma aplicação posterior do modelo em colaboração com pesquisadores, mas não provam que afirmações matemáticas produzidas por IA estejam livres de erros. Para avaliar cada resultado, é preciso examinar as demonstrações e acompanhar sua verificação independente.