O caminho comum da Meta para a matemática de pesquisa

Em 2 de outubro de 2026, a divisão de pesquisa da Meta publicou seis artigos de matemática de nível de pesquisa, fruto da colaboração entre acadêmicos externos e o modelo Muse Spark nas versões 1.1 e 1.2. A Meta destaca a diferença de método: nenhum sistema agêntico construído para a ocasião, apenas o chat comum do meta.ai no 'Thinking Mode', sem uma infraestrutura de pesquisa feita sob medida. Ao longo de vários meses, os pesquisadores humanos escolheram os problemas e as estratégias de demonstração, depois verificaram os cálculos produzidos pelo modelo e preencheram as lacunas dos raciocínios. Segundo a Meta, um segundo grupo de matemáticos revisou então o trabalho de forma independente.

Os resultados abrangem seis áreas científicas, entre elas a otimização e a álgebra não associativa. Na teoria dos grupos, o artigo assinado pelos matemáticos Joseph Phillip Brennan e Milana Golich refuta uma conjectura formulada em 2024 por M. Kida, ao encontrar um contraexemplo específico — um grupo semiabeliano finito de ordem 384 — graças ao código de busca em GAP gerado pelo modelo, como documentou o veículo AlphaSignal. A prioridade temporal, porém, não é integral: o próprio post da Meta indica que em pelo menos três casos outros chegaram a resultados paralelos no mesmo período: três trabalhos de agosto de 2026 sobre o ajuste de elipsoides gaussianos, um contraexemplo diferente sobre grupos semiabelianos encontrado pelo agente artificial Nilradical em 16 de setembro e os contraexemplos de Hu e Wen sobre álgebras de evolução.

A cautela também se impõe no plano metodológico. Os textos são distribuídos em PDF no site da Meta, e o post de apresentação não indica que tenham passado por revisão por pares em periódicos científicos. Além disso, o estudo sobre o ajuste de elipsoides gaussianos declara explicitamente, no próprio texto, que o comportamento no limiar crítico continua sem solução. A Meta não fornece dados sobre o volume de tentativas fracassadas e abandonadas, nem sobre o tempo realmente economizado pelos pesquisadores; também falta uma quantificação exata da contribuição do modelo em cada trabalho, embora os documentos indiquem quais trechos foram redigidos pela inteligência artificial.

O experimento sugere que até um chat público, sem andaimes construídos ao redor, pode contribuir para a pesquisa: com que frequência consegue, no entanto, fica fora dos dados, porque as tentativas que não deram em nada não foram contadas. Nos seis casos relatados, o rigor continuou nas mãos do controle humano. Mais do que um matemático autônomo, o modelo parece uma ferramenta para explorar ideias, procurar contraexemplos e escrever o código que vai atrás deles — no caso dos grupos semiabelianos, isso bastou para derrubar uma conjectura de 2024 — e sua utilidade real depende da paciência de quem verifica seus limites. — Olya