Crédito: Mixvale.com.br
Um avanço notável no campo da matemática pura foi registrado recentemente, com a inteligência artificial “Claude Fable 5” identificando uma solução para a Conjectura Jacobiana, um desafio que intrigava acadêmicos por 87 anos. A inovação, conforme divulgado pelo matemático Levent Alpoge, da Anthropic, destaca a crescente capacidade dos sistemas de IA em desvendar questões científicas de alta complexidade e longa data.
A revelação do contraexemplo para a Conjectura Jacobiana coube ao matemático Levent Alpoge, pesquisador da Anthropic. A resposta para o enigma, que se mantinha sem solução desde 1939, foi alcançada com o apoio do modelo de inteligência artificial “Claude Fable 5”. Alpoge iniciou a busca por essa resolução após ser encorajado pelo colega Akil Matthew, com a IA dedicando-se ao problema durante o período da final da Copa do Mundo da FIFA.
Harvard mathematician Levent Alpöge has reportedly disproved the 87-year-old Jacobian conjecture using Anthropic’s Claude Fable 5. By generating a compact 216-character counterexample, the AI provided a definitive answer to a problem that has eluded proof since 1939. This marks a… pic.twitter.com/DEluTW2sZt
— oesnada (@oesnadaki) July 20, 2026
A Conjectura Jacobiana, proposta em 1939 pelo matemático alemão Otto-Heinrich Keller, aborda uma questão central sobre as propriedades das funções polinomiais. Ela postula que, se o determinante jacobiano de um mapeamento polinomial, que transforma ‘n’ variáveis complexas em outras ‘n’ variáveis, for sempre um valor constante e diferente de zero, então essa função deveria possuir uma inversa que também pudesse ser expressa polinomialmente. Em termos mais simples, o dilema era se uma reversibilidade garantida em pequenas partes da função implicaria uma reversibilidade polinomial completa para toda a estrutura.
No universo da matemática, se uma função produz o mesmo resultado para distintas entradas, torna-se impossível determinar a entrada original de forma exclusiva. O conceito de função inversa refere-se ao caminho de retorno do resultado para a entrada. Contudo, uma função que associa múltiplas entradas a um único resultado não pode ter uma função inversa única para todo o seu domínio. Em funções com várias variáveis, o determinante jacobiano é a ferramenta utilizada para avaliar a possibilidade de restaurar a função em uma porção delimitada. Calculado em cada ponto de entrada, esse valor reflete a alteração na área ou volume local, através de uma aproximação linear. Um determinante jacobiano igual a zero sinaliza a perda de informações em alguma direção, impossibilitando a recuperação singular da entrada. Se o valor for distinto de zero, a informação é mantida, assegurando a rastreabilidade da entrada e saída localmente.
A inteligência artificial Claude Fable 5 identificou um mapeamento polinomial peculiar, no qual o determinante jacobiano apresentava consistentemente o valor de -2. No entanto, a análise revelou que havia três conjuntos de entradas diferentes que, surpreendentemente, convergiam para o mesmo resultado, criando uma clara contradição com o que a Conjectura Jacobiana propunha.
Essa evidência irrefutável demonstra que a Conjectura Jacobiana não se sustenta para três ou mais variáveis. Ela prova que a mera constância do determinante jacobiano não é suficiente para assegurar a existência de um mapeamento inverso válido em todo o espaço matemático.
Apesar da notável capacidade de descoberta da inteligência artificial, a mera formulação de uma solução por um sistema algorítmico não confere, por si só, a garantia de sua veracidade como contraexemplo. Pequenas imprecisões computacionais ou substituições equivocadas poderiam comprometer toda a conclusão. Por isso, a confirmação independente por matemáticos ou por softwares especializados em verificação de provas torna-se um passo indispensável.
Em seguida à divulgação, iniciou-se um trabalho para formalizar a demonstração utilizando o sistema “Lean”, uma ferramenta de apoio à prova de teoremas. Paul Rouzeau, um estudante de doutorado em matemática formalizada no Imperial College London, desenvolveu uma versão do contraexemplo em Lean e a submeteu ao “Formal Conjectures”, um arquivo de conjecturas matemáticas mantido pelo Google DeepMind. Embora a solicitação de pull request esteja em fase de revisão, já foi possível atestar a coerência do determinante jacobiano e a natureza não injetiva do mapeamento, solidificando a conclusão de que não há mapeamentos inversos em todo o espaço.
O Projeto Xena, que se dedica à matemática formalizada, salienta que o próximo grande desafio transcende a simples validação da correção do contraexemplo; ele reside em permitir que os seres humanos compreendam, em profundidade, os fundamentos lógicos de sua validade. Este acontecimento ressalta a sinergia cada vez maior entre a potência computacional da inteligência artificial e a capacidade analítica humana, pavimentando novos caminhos na investigação matemática e na superação de dilemas que por décadas resistiram à compreensão. Essa parceria promete impulsionar o avanço em áreas complexas, unindo a agilidade da IA com a profundidade do discernimento humano.
