Enquanto você assistia à final da Copa do Mundo no último domingo, uma IA estava quebrando um dos problemas mais famosos da matemática. E o resultado cabe em três linhas.

Levent Alpöge, matemático e pesquisador da Anthropic, postou no X algo que fez a comunidade matemática parar: um contraexemplo que refuta a Conjectura Jacobiana, problema aberto desde 1939. O responsável pelo achado? O Claude Fable 5, modelo de IA da Anthropic, que aparentemente não descansa nem durante o jogo mais importante do futebol.

Eu já vi IA gerar código, escrever artigos e até compor música. Mas destruir 87 anos de trabalho de matemáticos com uma fórmula de 216 caracteres? Isso é outro nível.

O que é a Conjectura Jacobiana (sem enrolação)

Antes de falar do contraexemplo, preciso explicar o que caiu. A Conjectura Jacobiana é um daqueles problemas que parece simples na formulação, mas que destruiu carreiras de matemáticos por décadas.

Imagina que você tem uma função que transforma pontos no espaço: pega coordenadas de entrada e cospe coordenadas de saída. O determinante jacobiano dessa função mede como ela distorce o espaço ao redor de cada ponto. Se esse determinante nunca é zero, significa que a função é “localmente invertível”, ou seja, perto de qualquer ponto, dá pra voltar atrás.

A conjectura, proposta por Ott-Heinrich Keller em 1939, dizia o seguinte: se uma função polinomial de ℂⁿ em ℂⁿ tem determinante jacobiano constante e diferente de zero, então ela é globalmente invertível, isto é, cada saída vem de uma única entrada, e a inversa também é um polinômio.

Em linguagem de dev: se a função passa no teste local em todos os pontos, ela deveria passar no teste global. Sem exceção.

Para n = 1 (uma dimensão), isso é verdade e a prova é trivial. Para n = 2, ninguém conseguiu provar nem refutar. Ficou ali, 87 anos, como um daqueles bugs que todo mundo sabe que existe mas ninguém reproduz.

Até agora.

O contraexemplo que cabe num tweet

Eis a fórmula que refutou quase um século de matemática. É um mapa polinomial F: ℂ³ → ℂ³, definido por:

P = (1 + xy)³z + y²(1 + xy)(4 + 3xy)
Q = y + 3x(1 + xy)²z + 3xy²(4 + 3xy)
R = 2x - 3x²y - x³z

O determinante jacobiano dessa função é -2 em todos os pontos. Constante. Diferente de zero. Satisfaz a premissa da conjectura.

Agora vem o plot twist: três pontos distintos produzem a mesma saída.

Três entradas diferentes, mesma saída. Se existisse uma inversa polinomial, ela teria que retornar três valores diferentes para uma mesma entrada, o que é impossível por definição de função. Pronto. Conjectura refutada.

O mais absurdo? Você consegue verificar isso com lápis e papel. Substitui os valores, faz as contas, confere. Não precisa de nenhum teorema sofisticado, nenhuma maquinaria pesada. É pura aritmética.

Como o Fable 5 encontrou isso

A história por trás da descoberta é quase cômica. No dia 20 de julho, enquanto o mundo estava vidrado na final da Copa, Levent Alpöge postou no X agradecendo duas pessoas: o amigo Akhil Mathew, que propôs o problema, e seu “buddy fable”, o Claude Fable 5, que estava “trabalhando durante a final da Copa do Mundo”.

O Fable 5 é um modelo da Anthropic (a empresa por trás do Claude) focado em raciocínio matemático avançado. Os detalhes exatos de como a IA chegou ao contraexemplo não foram publicados: não sabemos o prompt, quantas tentativas foram necessárias nem quanta intervenção humana rolou no processo.

O que sabemos é o padrão geral: humano propôs a pergunta, a IA fez uma busca computacional assistida, gerou candidatos a contraexemplo, e o resultado foi verificado independentemente.

Há algo de poético nisso. Gerações de matemáticos tentaram provar que a conjectura era verdadeira. Construíram teorias inteiras em cima dela. E a IA simplesmente foi na direção oposta: em vez de provar, buscou um exemplo que quebrasse a afirmação. Uma abordagem que, olhando pra trás, parece óbvia, mas que requer uma capacidade de busca computacional que humanos simplesmente não têm.

Terence Tao entrou na conversa (com ChatGPT)

Se o contraexemplo em si já era notícia, a reação de Terence Tao transformou tudo em evento. No dia 21 de julho, o Fields Medalist (o “Nobel da Matemática”) publicou dois textos: um post no blog intitulado “A digestion of the Jacobian conjecture counterexample” e, mais surpreendente, o link para sua conversa com o ChatGPT sobre o assunto.

O que Tao fez foi usar o ChatGPT como um parceiro de estudo. Ele explorava ideias, pedia verificações, testava intuições. A conversa é fascinante porque mostra como um dos maiores matemáticos vivos pensa: as conexões que faz, os caminhos que explora, os becos sem saída que encontra.

No post do blog, Tao reformulou o problema inteiro usando poderes simétricos de polinômios. Em vez de olhar para o mapa F diretamente, ele decompos a construção em um “mapa de multiplicação” entre polinômios lineares e quadráticos. A sacada central envolve o resultante de dois polinômios e como a normalização desse resultante cria uma estrutura algébrica que permite construir mapas com jacobiano constante mas sem injetividade global.

O ponto que Tao enfatizou: a verificação é finita. Diferente de muitos problemas onde a prova exige maquinaria pesada, aqui basta substituir valores e fazer contas. Qualquer pessoa com conhecimento de álgebra pode confirmar que os três pontos de colisão realmente mapeiam para a mesma saída.

Timothy Gowers, outro Fields Medalist, também confirmou publicamente que o resultado “resiste à verificação independente”.

O que isso significa (e o que não significa)

Antes de sair comemorando (ou entrando em pânico, dependendo da sua tese de doutorado), vamos ser precisos sobre o que foi refutado:

Refutado:

• A Conjectura Jacobiana para n ≥ 3. Se o contraexemplo funciona em três dimensões, funciona em qualquer dimensão maior (basta adicionar coordenadas identidade).

Ainda aberto:

• O caso n = 2 (duas dimensões). Ninguém sabe se a conjectura é verdadeira ou falsa no plano. É possível que em duas dimensões o resultado seja diferente.

Não afetado:

• O caso n = 1, onde a conjectura é trivialmente verdadeira.

Isso cria uma situação estranha na matemática: um resultado que é verdadeiro em uma dimensão, pode ser verdadeiro em duas, mas é falso em três ou mais. Não é inédito, mas é raro e contra-intuitivo.

A verificação da comunidade foi impressionantemente rápida

Uma das vantagens de um contraexemplo explícito é que ele pode ser verificado por qualquer pessoa. Não precisa aceitar na fé, não precisa confiar no reviewer. Pega a fórmula, substitui os valores, confere.

E foi exatamente isso que aconteceu:

• Horas após o anúncio, matemáticos já tinham verificado os cálculos usando Wolfram Alpha, SageMath e até calculadoras de mão
• O Ulam Institute publicou um preprint formal, “A Counterexample to the Jacobian Conjecture”, verificando o determinante constante e as colisões via computação simbólica
• A Wikipedia em inglês atualizou o artigo sobre a Conjectura Jacobiana, reclassificando-a como “largely disproven” e movendo para a categoria “Disproven conjectures”
• Terence Tao e Timothy Gowers confirmaram publicamente

Compare isso com outros resultados matemáticos famosos. A prova de Andrew Wiles para o Último Teorema de Fermat levou anos de revisão. A prova de Perelman para a Conjectura de Poincaré precisou de um esforço coordenado de verificação. Aqui? Aritmética. Substitui e confere.

IA na matemática: o elefante na sala

Esse resultado levanta questões que a comunidade acadêmica não pode mais ignorar.

A assimetria da descoberta

Existe uma diferença fundamental entre provar um teorema e encontrar um contraexemplo. Para provar, você precisa de argumentos que cubram todos os casos possíveis. Para refutar, basta um exemplo. Um único. E é exatamente nesse tipo de tarefa que IAs brilham: busca massiva em espaços enormes de possibilidades.

O Fable 5 não “entendeu” a Conjectura Jacobiana no sentido profundo. Ele buscou sistematicamente em um espaço de polinômios de grau controlado, testando candidatos contra as condições do problema. Força bruta inteligente, se quiser chamar assim.

O gargalo da revisão

A IA pode gerar um resultado em horas, mas a revisão por pares leva semanas ou meses. Terence Tao levou pelo menos um dia para digerir o contraexemplo, e ele é literalmente um dos melhores matemáticos do mundo. O preprint ainda não passou por peer review formal em journal.

Isso cria um problema de escala: se IAs começarem a produzir resultados matemáticos em ritmo acelerado, quem vai revisar tudo? O peer review já é um gargalo em ciência. Com IA acelerando a produção, a fila só cresce.

Autoria e atribuição

Quem “descobriu” o contraexemplo? Alpöge, que formulou a busca e anunciou o resultado? Mathew, que propôs a pergunta? O Fable 5, que executou a busca? A Anthropic, que construiu o modelo?

A matemática acadêmica ainda não tem respostas claras para essas perguntas. E enquanto elas ficarem sem resposta, o incentivo perverso cresce: por que passar anos numa prova quando um modelo pode produzir resultados publicáveis em horas?

O que Tao viu que a IA não viu

Tem um detalhe na análise de Tao que merece destaque. Ele não se contentou em verificar o contraexemplo. Ele quis entender por que ele funciona.

A intuição geométrica que Tao construiu envolve pensar no contraexemplo como um mapa de multiplicação de polinômios. Quando você multiplica um polinômio linear L por um quadrático Q, obtém um cúbico C = LQ. Esse processo é localmente invertível (dá pra separar as raízes e descobrir quem é L e quem é Q) mas não globalmente (diferentes pares L, Q podem dar o mesmo produto C se as raízes se “embaralharem” de maneiras específicas).

Essa é a diferença entre IA e matemático humano. A IA encontra o que é verdade. O humano explica por que é verdade. São competências complementares, não substitutas. Pelo menos por enquanto.

Para devs: por que você deveria se importar

“Legal, mas eu trabalho com APIs REST, não com conjecturas matemáticas. Por que isso importa pra mim?”

Pergunta justa. Mas esse resultado tem implicações que vão muito além da álgebra abstrata. Veja:

1. Verificação formal de código

A Conjectura Jacobiana é, no fundo, sobre quando propriedades locais garantem propriedades globais. Isso é exatamente o tipo de pergunta que verificadores formais de software fazem: “Se cada módulo funciona corretamente, o sistema inteiro funciona?” O fato de que a resposta pode ser “não” (como o contraexemplo mostra) tem implicações para teoria de tipos e verificação formal.

2. O precedente para IA em pesquisa

O padrão humano propõe a pergunta, IA busca candidatos, humano verifica e interpreta vai se tornar dominante em pesquisa. Se você trabalha com ML, data science ou qualquer área adjacente, esse workflow vai chegar no seu dia a dia.

3. A infraestrutura por trás

Rodar o Fable 5 para esse tipo de busca exige poder computacional absurdo. Alguém precisa construir e manter essa infraestrutura. E esse alguém são devs.

E agora?

O caso n = 2 segue aberto. É possível que a Conjectura Jacobiana seja verdadeira no plano e falsa em dimensões maiores, o que seria um resultado bonito e bizarro ao mesmo tempo.

A comunidade matemática vai levar meses para absorver completamente as implicações. O preprint precisa passar por peer review formal. Novas linhas de pesquisa vão surgir: que outras conjecturas clássicas são vulneráveis a busca computacional? Que outros problemas têm contraexemplos “escondidos” em espaços de dimensão moderada?

E o Fable 5 provavelmente já está trabalhando no próximo problema. Sem folga nem pra Copa do Mundo.

A lista de conjecturas abertas em geometria algébrica e teoria de números é longa. A Conjectura de Hodge, os problemas do Milênio que ainda resistem, dezenas de problemas em combinatória e teoria de grafos. Se o padrão “busca computacional massiva por contraexemplos” funcionar para mais algum deles, teremos que reescrever capítulos inteiros dos livros-texto.

Uma coisa é certa: a próxima vez que alguém disser que IA “só” faz previsão de próximo token, você pode apontar para essas três linhas de polinômio e perguntar se previsão de token inclui refutar conjecturas de 87 anos. A resposta, aparentemente, é sim.

Fonte de inspiração: A digestion of the Jacobian conjecture counterexample (Terence Tao)