Meta publica 6 artigos de matemática e resolve 5 problemas abertos com IA

A Meta anunciou em 2 de outubro de 2026 que uma equipe de matemáticos produziu seis artigos de pesquisa trabalhando junto com o Muse Spark — e que cinco deles respondem questões que estavam em aberto. O detalhe que mudou a conversa não foi o resultado em si, mas o caminho: tudo foi feito pela interface de chat comum do Meta.ai, a mesma que qualquer pessoa usa, sem nenhum sistema de pesquisa sob medida.

Resposta rápida: o que a Meta fez?

Matemáticos trabalharam durante meses com o Muse Spark 1.1 e 1.2 em Thinking Mode, pelo chat padrão do Meta.ai, em seis áreas: probabilidade, equações diferenciais, teoria de grupos, otimização, física aritmética e álgebra não associativa. O resultado foram seis artigos, cinco deles fechando problemas em aberto. Os humanos escolheram os problemas, dirigiram a exploração e verificaram cada argumento — a IA não trabalhou sozinha.

O caso mais concreto: um contraexemplo de 384 elementos

O exemplo que melhor explica o método envolve uma conjectura de teoria de grupos proposta por M. Kida em 2024. O Muse Spark escreveu um programa de busca em GAP (um sistema de álgebra computacional) que encontrou um contraexemplo com 384 elementos. Os matemáticos verificaram o resultado — e a conjectura caiu.

Repare no que aconteceu ali: o modelo não “provou” nada por intuição. Ele traduziu o problema em código de busca, rodou e trouxe o objeto que derruba a afirmação. É exatamente o tipo de tarefa em que um computador sempre foi melhor que uma pessoa; o que mudou é que agora a tradução do problema para o código também vem da máquina.

O que o anúncio prova — e o que não prova

Por que isso importa para você

O ponto prático não é a matemática — é a ferramenta. A Meta está dizendo que a diferença entre o chat que você abre no celular e o sistema que fecha um problema de teoria de grupos é a pessoa que está do outro lado, não uma versão secreta do modelo. Quem sabe formular bem o problema, dividir em etapas verificáveis e checar cada resposta extrai de um chat comum um resultado que, até 2024, exigiria um laboratório.

É também um contraponto útil à semana em que a OpenAI pausou treinamento por agentes fora de controle e a Casa Branca criou uma força-tarefa de IA: enquanto a discussão pública gira em torno de risco, o uso que mais avança é o chato e verificável — gerar código de busca, testar hipótese, conferir resultado.

Perguntas frequentes

O Muse Spark resolveu os problemas sozinho?

Não. Matemáticos escolheram os problemas, conduziram a exploração e verificaram todos os argumentos. Os artigos descrevem contribuições limitadas do modelo, não descobertas autônomas.

Qual versão do modelo foi usada?

Muse Spark 1.1 e 1.2, em Thinking Mode, pela interface de chat padrão do Meta.ai — sem sistema de pesquisa customizado.

Quais áreas da matemática foram cobertas?

Probabilidade, equações diferenciais, teoria de grupos, otimização, física aritmética e álgebra não associativa.

Dá para reproduzir isso com uma conta comum?

A infraestrutura é a mesma: o chat do Meta.ai em Thinking Mode. O que não é comum é a parte humana — escolher um problema relevante e saber verificar a resposta.

No DigitalRadar, separamos o que a IA realmente fez do que foi anunciado. Fique no radar.