Meta's Muse Spark resolves six open mathematical problems
Meta announced that its Muse Spark model, used via the standard meta.ai interface, solved six long-standing open problems in mathematics. The company published six papers co-authored by human mathematicians and AI, with clear attribution of contributions.
O modelo Muse Spark da Meta resolveu seis problemas matemáticos em aberto.
A Meta publicou seis artigos escritos por matemáticos em conjunto com o modelo. Segundo a empresa, os pesquisadores utilizaram as versões Muse Spark 1.1 e 1.2 no "Modo de Pensamento" (Thinking Mode) através do chat padrão meta.ai, sem recorrer a ferramentas ou interfaces especializadas.
Um ponto notável é que cada artigo indica explicitamente quais trechos foram redigidos por humanos e quais pela IA.
Os resultados abrangem diversas áreas da matemática: teoria das probabilidades, equações diferenciais, otimização, teoria dos grupos, álgebra e física aritmética.
Por exemplo, o modelo refutou a conjectura de Kida de 2024, demonstrando que um grupo semi-abeliano não precisa ser monomial. Também foi provado que soluções radialmente simétricas com energia negativa para a equação de Schrödinger não linear biharmônica colapsam em tempo finito — uma questão que permanecia em aberto desde 2015.
No entanto, em setembro, outro grupo de pesquisadores também refutou a conjectura de Kida, utilizando igualmente um agente de IA. A Meta afirma que seus resultados foram obtidos de forma independente.
Por que isso importa
AnáliseIsso sugere que modelos de fronteira podem contribuir para pesquisa matemática genuína, indo além da geração de código ou texto. A atribuição explícita entre humano e IA pode estabelecer um novo padrão útil para publicações acadêmicas.
Debater na comunidade
Compartilhe suas dúvidas e insights com desenvolvedores