Um matemático de Harvard afirma ter encontrado, com apoio de inteligência artificial, um contraexemplo que derruba a Conjectura do Jacobiano, problema formulado em 1939 e que resistiu a gerações de pesquisadores. A prova, publicada em uma única linha com 216 caracteres, já foi verificada por outros matemáticos, segundo a New Scientist, embora o processo exato usado para chegar a ela ainda não tenha sido detalhado.
O que aconteceu com a Conjectura do Jacobiano
Em 19 de julho, o matemático Levent Alpöge publicou em sua conta no X um contraexemplo que, segundo ele, prova que a Conjectura do Jacobiano é falsa. O contraexemplo tem apenas 216 caracteres, algo incomum para um problema que ficou sem solução por 87 anos. De acordo com a New Scientist, o resultado é fácil de conferir depois de pronto, mas o caminho até essa descoberta permanece pouco claro.
Abhishek Saha, professor da Queen Mary University of London, afirmou que diversos matemáticos já verificaram a linha publicada por Alpöge. Segundo Saha, o contraexemplo derruba especificamente a versão da conjectura com três variáveis; a versão com duas variáveis, em tese, ainda pode ser verdadeira.
Entendendo o problema matemático de 1939
A Conjectura do Jacobiano foi proposta pelo matemático Ott-Heinrich Keller em 1939. Em termos simples, ela sugere que um determinado tipo de regra matemática (uma função) que transforma valores de um jeito específico também poderia ser revertida de forma única — como se toda fechadura tivesse uma chave exclusiva no caminho de volta.
O problema ganhou destaque internacional em 1998, quando entrou em uma lista organizada pelo matemático Stephen Smale reunindo 18 desafios considerados centrais para a matemática do século 21. Fazer parte dessa lista ajuda a explicar por que a conjectura era tratada como um obstáculo relevante para a área.
Como a IA entrou na descoberta
Alpöge não detalhou publicamente todo o processo que levou ao contraexemplo, mas mencionou ter contado com a colaboração de um "amigo próximo" chamado fable, referência que parece apontar para o Claude Fable 5, modelo da Anthropic. Não há, até o momento, uma explicação completa e verificável de como a IA participou do processo de descoberta, o que mantém essa parte do caso como a principal incógnita para outros pesquisadores.
O episódio ilustra uma mudança na forma como IAs vêm sendo usadas em matemática: modelos que até pouco tempo atrás tinham dificuldade em tarefas aritméticas simples agora aparecem associados à investigação de problemas complexos e à busca de contraexemplos.
Por que isso importa para a matemática e a IA
Esse tipo de caso mostra um uso específico em que ferramentas de IA parecem se destacar: ajudar a encontrar atalhos e contraexemplos em problemas cujo resultado final é simples de conferir, mas historicamente difícil de descobrir. É como localizar uma agulha em um palheiro e, só depois, comprovar que ela estava ali.
Para quem acompanha o desenvolvimento de IA aplicada a áreas técnicas, o episódio reforça um ponto: a checagem de um resultado matemático pode ser rápida, mas entender e reproduzir o raciocínio por trás dele continua sendo um desafio à parte — tanto para humanos quanto para as próprias empresas que desenvolvem esses modelos.