Uma ideia matemática que resistia à resolução desde o século XIX foi refutada em 2025, não por uma equipe de pesquisadores trabalhando ao longo de anos, mas por um matemático trabalhando ao lado de um modelo de IA durante um jogo de futebol. O resultado foi verificado de forma independente. Está sendo descrito por matemáticos como a conjectura mais significativa que a IA desempenhou um papel em resolver até agora.
Uma Conjectura Que Sobreviveu por Mais de um Século
A conjectura de Jacobian tem uma longa história. O matemático tcheco Ludwig Kraus propôs uma versão inicial em 1884. O matemático alemão Ott-Heinrich Keller a expandiu para sua forma atual em 1939. A conjectura diz respeito a funções polinomiais: operações matemáticas que tomam um conjunto de números como entrada e produzem um novo conjunto como saída, efetivamente movendo pontos no espaço de acordo com regras fixas.
A questão principal que a conjectura levanta é se uma propriedade específica dessas funções, chamada determinante de Jacobian, garante a reversibilidade. Se o determinante for sempre uma constante não nula, a conjectura afirma que deve sempre existir uma maneira de reverter a função e retornar cada ponto à sua posição original. Refutá-la exige encontrar um contraexemplo: uma função onde o determinante é uma constante não nula, mas os pontos ainda assim se fundem, tornando a reversão impossível.
Os matemáticos sabiam o que estavam procurando. Encontrá-lo era o problema. O espaço de busca em todas as funções polinomiais possíveis é vasto, muito além do que pesquisadores humanos podem verificar sistematicamente. O vencedor da Fields Medal, Stephen Smale, considerou o problema significativo o suficiente para incluí-lo em uma lista de 1998 com 18 grandes problemas matemáticos para o século XXI.
Como a Refutação Foi Encontrada
Levent Alpöge, um matemático afiliado tanto à Anthropic quanto à Harvard University, usou o Claude Fable 5 da Anthropic para abordar o problema. O resultado foi uma função polinomial tridimensional com um determinante de Jacobian constante que, no entanto, funde múltiplos pontos de entrada, tornando-a irreversível. Esse é precisamente o tipo de contraexemplo que a conjectura dizia não poder existir.
Alpöge publicou o resultado no X, creditando o matemático Akhil Mathew, da University of Chicago, por sugerir o problema. Desde então, vários matemáticos independentes verificaram o resultado. Abhishek Saha, matemático da Queen Mary University of London, descreveu o feito à New Scientist como “provavelmente a maior conjectura que a IA desempenhou um papel significativo em provar ou refutar até agora na matemática”.
Uma limitação importante: a refutação se aplica a espaços de três ou mais dimensões. Se a conjectura é válida em espaços de dimensões menores permanece uma questão aberta.
O Que Este Resultado Realmente Nos Diz Sobre a IA na Matemática
Eis o que a maioria da cobertura sobre esta história subestima. Encontrar um contraexemplo não é o mesmo que entender por que a conjectura é falsa. O matemático Andrew Blumberg, da Columbia University, colocou a questão de forma direta: o resultado mostra principalmente que existem “muitos polinômios”, os quais são difíceis de serem verificados apenas por humanos. A IA, neste caso, funcionou como um mecanismo de busca extraordinariamente capaz através de um espaço de objetos matemáticos grande demais para a exploração manual.
Isso é genuinamente útil. Também é genuinamente limitado. Uma demonstração matemática completa pode ter mais de 100 páginas, documentando não apenas a resposta, mas o raciocínio que leva a ela. Os modelos atuais de IA ainda não são capazes de produzir esse tipo de estrutura lógica confiável e passo a passo. Akhil Mathew, que foi creditado na publicação de Alpöge, descreveu a situação com clareza: a IA pode verificar se algo está correto, mas ainda não conta uma história. Ela traz à tona o “como” sem iluminar o “porquê”.
Blumberg ofereceu uma analogia certeira: se Moisés descesse de uma montanha com uma tábua dizendo “o câncer pode ser curado”, a declaração por si só não seria suficiente. O valor de resolver um problema difícil está não apenas na resposta, mas no que o caminho para a resposta revela sobre a estrutura subjacente do mundo. Smale incluiu a conjectura de Jacobian em sua lista precisamente porque acreditava que resolvê-la aprofundaria a compreensão de como a natureza é organizada.
Essa tensão está moldando a forma como a comunidade matemática está respondendo. Após uma outra descoberta importante assistida por IA envolvendo um problema de 80 anos proposto pelo matemático húngaro Paul Erdős, 16 matemáticos publicaram a Leiden Declaration on Artificial Intelligence and Mathematics, endossada pela International Mathematical Union. Ela exige a divulgação do uso de IA, a atribuição adequada de trabalhos anteriores e a publicação revisada por pares antes de anúncios públicos. A declaração reflete uma comunidade tentando estabelecer normas rapidamente, à medida que o ritmo das descobertas assistidas por IA se acelera mais rápido do que o esperado.
Mathew descreveu a mudança como “muito rápida e muito perturbadora, especialmente para matemáticos em início de carreira”. Vale a pena levar essa preocupação a sério. Se a IA pode localizar contraexemplos e trazer à tona resultados que anteriormente exigiam anos de esforço humano especializado, a própria natureza do trabalho matemático está mudando. A questão não é se a IA contribuirá para a matemática. Ela já contribuiu. A questão é que tipo de compreensão é construída ao lado dessas contribuições, e quem desenvolve a capacidade de gerá-la.
Em Resumo
A IA não resolveu a conjectura de Jacobian. Ela a refutou, ao encontrar um contraexemplo que os matemáticos não conseguiram localizar por mais de um século. Esse é um marco significativo, e também é um marco parcial. O resultado mostra que a IA pode buscar no espaço matemático em uma escala que os humanos não conseguem igualar. Ainda não mostra que a IA pode raciocinar através desse espaço de uma maneira que produza uma compreensão matemática duradoura. Ambas as coisas são verdadeiras ao mesmo tempo, e mantê-las em perspectiva é o que torna esse avanço genuinamente significativo, em vez de simplesmente dramático.
Com base em reportagem de Smithsonian Magazine.