IA AJUDA A DERRUBAR CONJECTURA DE 87 ANOS

Uma regra matemática resistiu por 87 anos. Então, três equações foram suficientes para mostrar que ela estava errada. O mais surpreendente é que o contraexemplo foi encontrado por uma inteligência artificial, conferido por matemáticos e, em poucos dias, transformado no ponto de partida para novas pesquisas.

O episódio aconteceu em julho e envolve a Conjectura Jacobiana, formulada pelo matemático alemão Ott-Heinrich Keller em 1939. O problema atravessou gerações de pesquisadores até que o Claude Fable 5, modelo desenvolvido pela Anthropic, encontrou uma construção matemática capaz de derrubar sua versão geral.

A descoberta foi conduzida durante uma investigação do matemático Levent Alpöge, da Anthropic, e anunciada na noite de 19 de julho.

Mas como uma questão que atravessou quase nove décadas pode ter sido derrubada por apenas três equações?

Uma máquina matemática que deveria funcionar ao contrário

A Conjectura Jacobiana pertence à geometria algébrica, área da matemática que estuda as relações entre equações e formas geométricas. Apesar da complexidade do problema, sua ideia central pode ser traduzida de maneira relativamente simples.

Imagine uma máquina que recebe algumas coordenadas, transforma esses números e entrega novas coordenadas como resultado. Os matemáticos queriam saber se determinado teste seria suficiente para garantir que essa máquina pudesse sempre funcionar também no sentido contrário.

Esse teste utiliza o chamado determinante jacobiano, uma ferramenta que permite observar como uma transformação modifica o espaço em torno de cada ponto.

A conjectura afirmava, essencialmente, que se uma transformação polinomial passasse nesse teste em todos os lugares, sem perder informação localmente, então ela também deveria ser completamente reversível.

Durante décadas, ninguém conseguiu provar definitivamente que isso era verdade. Também não havia sido encontrado um exemplo capaz de mostrar que estava errado.

Até agora.

O que a inteligência artificial encontrou

Durante a investigação, o Claude Fable 5 produziu uma transformação matemática tridimensional formada por três polinômios.

Quando os pesquisadores calcularam seu determinante jacobiano, o resultado era sempre -2. Isso significava que a transformação atendia justamente à condição exigida pela conjectura.

Havia, porém, uma surpresa.

Três pontos de partida diferentes produziam exatamente o mesmo resultado.

É como descobrir três endereços diferentes que, depois de passarem pela mesma máquina, recebem um único endereço de destino. Ao tentar fazer o percurso de volta, torna-se impossível determinar de qual dos três lugares se partiu.

A transformação, portanto, parecia perfeitamente comportada quando examinada localmente, mas não podia ser revertida quando observada como um todo.

E bastava um único contraexemplo para derrubar a afirmação geral.

Por que três linhas fizeram tanto barulho

O contraste chamou imediatamente a atenção dos matemáticos.

Problemas históricos podem exigir demonstrações extensas e extremamente complexas. Nesse caso, o coração do contraexemplo estava concentrado nos três polinômios que descrevem a transformação.

A expressão divulgada tinha somente 216 caracteres, segundo o jornal britânico The Times.

Isso não significa, porém, que a resposta fosse óbvia. O matemático Terence Tao observou que a construção contém cancelamentos algébricos muito específicos, tornando improvável que o exemplo pudesse ser encontrado simplesmente por uma busca rudimentar de força bruta.

Depois de descoberto, entretanto, o contraexemplo é relativamente simples de verificar. Programas comuns de álgebra simbólica conseguem confirmar que o determinante permanece em -2 e que três entradas distintas realmente produzem a mesma saída.

A enorme dificuldade estava em encontrar a combinação certa.

O problema acabou?

Não completamente.

O contraexemplo mostrou que a Conjectura Jacobiana é falsa em três dimensões. A construção também pode ser estendida para quatro, cinco e qualquer número superior de dimensões.

Mas existe uma peça importante que continua faltando.

A versão da conjectura para duas dimensões permanece em aberto. Ninguém conseguiu demonstrar que ela é verdadeira nem encontrar um contraexemplo capaz de derrubá-la.

Assim, o resultado não encerrou toda a história iniciada por Keller. Ele mudou profundamente o problema: a conjectura geral caiu, enquanto seu caso bidimensional continua desafiando matemáticos.

Uma descoberta que rapidamente ganhou novos capítulos

A repercussão científica foi praticamente imediata.

No dia seguinte ao anúncio, pesquisadores já haviam encontrado uma família infinita de contraexemplos. Poucos dias depois, surgiram trabalhos buscando explicar geometricamente por que aquela transformação funcionava e como construções semelhantes poderiam aparecer em outras dimensões.

O matemático Paul Lezeau também formalizou o contraexemplo no Lean, um sistema capaz de verificar demonstrações matemáticas por computador. Outros pesquisadores começaram a estudar as consequências do resultado para conjecturas relacionadas.

A pequena sequência de equações havia aberto uma porta muito maior.

Uma IA pode fazer uma descoberta científica?

É justamente essa pergunta que transforma o episódio em algo maior do que a solução de um problema matemático.

Modelos de inteligência artificial já são utilizados para programação, análise de dados, previsão de estruturas de proteínas e auxílio em diferentes etapas da pesquisa científica. O caso da Conjectura Jacobiana, porém, coloca a tecnologia em uma posição particularmente interessante: a IA participou da própria busca por um objeto matemático que ainda não era conhecido.

Isso não significa que o Claude tenha trabalhado sozinho.

A investigação foi proposta e conduzida por matemáticos, que forneceram o problema, avaliaram a resposta e verificaram suas consequências. Outros pesquisadores independentes posteriormente examinaram, formalizaram e ampliaram o resultado.

Também não há elementos suficientes para afirmar que o modelo "compreendeu" a descoberta da mesma maneira que um matemático humano compreenderia.

O que aconteceu já é significativo sem precisar desse exagero: uma inteligência artificial produziu uma construção matemática inédita que resistiu à verificação humana e alterou o rumo de um problema estudado havia quase nove décadas.

Um novo capítulo para a ciência assistida por IA

Talvez a dimensão histórica do episódio esteja justamente nessa colaboração.

Durante boa parte da evolução da computação, máquinas foram utilizadas principalmente para executar cálculos definidos por seres humanos. Com a inteligência artificial generativa, começa a surgir outra possibilidade: sistemas capazes de participar também da exploração de caminhos que os pesquisadores ainda não haviam encontrado.

No caso da Conjectura Jacobiana, os humanos formularam as perguntas, reconheceram a importância da resposta e começaram a explicar suas consequências. A máquina encontrou uma peça que estava faltando.

Ainda é cedo para saber até onde essa parceria poderá chegar. Mas o episódio de julho deixa um registro difícil de ignorar: três equações produzidas durante uma experiência com inteligência artificial foram suficientes para mudar uma história matemática iniciada em 1939.

Claude Fable 5 já pode ser usado pelo público

O modelo envolvido na descoberta não está limitado aos laboratórios da Anthropic.

Lançado em junho, o Claude Fable 5 está disponível por meio dos produtos da empresa para usuários de determinados planos pagos, além de desenvolvedores pela API. O modelo também passou a integrar modalidades elegíveis do GitHub Copilot.

A Anthropic mantém separadamente o Mythos 5, baseado no mesmo modelo central, mas destinado a parceiros selecionados do programa de pesquisa Project Glasswing.

Isso significa que a tecnologia que participou de uma das descobertas matemáticas mais comentadas de 2026 já possui uma versão comercial acessível fora dos centros de pesquisa.