Fable 5 e a Conjectura Jacobiana: a IA derrubou 90 anos?

Uma conjectura que resistiu a 90 anos de matemáticos caiu — se a verificação segurar — para um modelo que a Anthropic quase aposentou no mês passado.

No dia 19 de julho de 2026, Levent Alpöge, teórico dos números com doutorado em Princeton, postou no X um contraexemplo para a Conjectura Jacobiana, um problema aberto desde 1939. O colaborador que ele credita não é um pós-doc. É o Fable 5, o modelo da Anthropic que passou 19 dias fora do ar em junho e voltou meio de fininho pras assinaturas. O anúncio veio no tom mais casual possível: "obrigado ao meu amigo Fable por trabalhar durante a final da Copa do Mundo".

O post estourou. 534 pontos no Hacker News, 1.101 upvotes no r/singularity, e uma corrida de matemáticos abrindo o Wolfram Alpha e o Sage pra conferir. Aqui a gente destrincha, sem jargão de álgebra: o que é essa conjectura, o que é um contraexemplo, por que dessa vez a conferência é fácil, e o que isso diz sobre IA fazendo matemática de fronteira.

TL;DR

O que é: o Fable 5 ajudou o matemático Levent Alpöge a produzir um contraexemplo explícito para a Conjectura Jacobiana, aberta desde 1939.
Status: anunciado via X em 19/07/2026, sem paper revisado por pares ainda. Mas o contraexemplo é trivial de conferir — cabe num tweet e em dois cálculos.
O que Fable fez: partiu de um quase-contraexemplo conhecido na literatura e o estendeu, eliminando o "defeito" que impedia ele de funcionar.
Fonte: thread no Hacker News · Conjectura Jacobiana na Wikipédia.

O que é a Conjectura Jacobiana (sem jargão)

Vou explicar do jeito que ninguém explica.

Imagina uma "máquina" que pega dois números — (x, y) — e cospe outros dois números, usando só continhas de polinômio: soma, multiplicação e potência. Nada de divisão, raiz ou seno. Um exemplo bobo: (x, y) → (x + y², y). Isso é um mapa polinomial. A Conjectura Jacobiana fala sobre mapas assim, mas em qualquer número de dimensões.

Agora, a parte do "Jacobiano". Todo mapa desses tem uma medida local de quanto ele estica ou comprime o espaço em cada ponto — é o determinante jacobiano. Se esse número é sempre uma constante diferente de zero, em todo ponto, significa que a máquina nunca "achata" o espaço localmente. Nunca gruda duas direções numa só. Localmente, em cada pontinho, ela é reversível.

A intuição ingênua diz: se ela é reversível em todo ponto, dá pra desfazer o mapa inteiro — e a máquina que desfaz também é polinomial. Foi isso que Ott-Heinrich Keller conjecturou em 1939. Em bom português: jacobiano constante não-nulo garante que existe uma inversa polinomial.

Parece óbvio. E é aí que mora o veneno. Shreeram Abhyankar, um dos matemáticos que mais atacou o problema, gostava de dizer que era "uma questão difícil de geometria algébrica que dá pra entender com pouco além de cálculo". Ela virou o Problema 16 da lista de Stephen Smale dos desafios matemáticos para o século 21. Até o caso mais simples, com só duas variáveis, seguia em aberto — Tzuong-Tsieng Moh chegou a verificar polinômios de grau até 100 em duas variáveis, e nada. E o histórico é de assustar: pelo menos cinco "provas" publicadas ao longo das décadas, todas com erros sutis que só apareceram depois. É o tipo de problema que come reputação.

O que o Fable 5 realmente fez

O truque de derrubar uma conjectura assim é achar um único caso onde ela falha. Não precisa provar nada em geral. Basta exibir uma máquina que tem jacobiano constante não-nulo mas que, mesmo assim, manda dois pontos diferentes pro mesmo lugar — ou seja, não dá pra desfazer, não tem inversa. Localmente reversível em todo ponto, globalmente não. Isso já mata a conjectura.

Alpöge (com o Fable) exibiu exatamente isso, em três variáveis. O mapa C³ → C³ que ele postou foi:

F(x, y, z) = (
  (1 + xy)³·z + y²(1 + xy)(4 + 3xy),
  y + 3x(1 + xy)²·z + 3xy²(4 + 3xy),
  2x − 3x²y − x³·z
)

Segundo o anúncio, o determinante jacobiano desse mapa dá uma constante igual a −2 — nunca zero, exatamente o que a hipótese da conjectura pede. E ainda assim o mapa não é injetivo: existem pontos distintos com a mesma imagem. Contraexemplo fechado.

E o Fable, onde entra? Pela discussão no HN, o modelo não tirou isso do nada. Ele partiu de um quase-contraexemplo que já rondava a literatura — uma construção que quase funcionava, mas tinha um "defeito" (um polo, na linguagem técnica) que a invalidava. O trabalho foi estender essa construção de um jeito que eliminasse o defeito preservando a estrutura. É engenharia matemática fina, do tipo "eu sei que a resposta mora nessa vizinhança, me ajuda a fechar o buraco". Não é o modelo sozinho tendo uma epifania. É um matemático de primeira linha usando IA como parceiro de busca num espaço que ele já conhecia.

Um contraexemplo é isso: e por que dessa vez dá pra conferir em casa

Aqui está o pulo do gato, e o motivo de a comunidade ter validado tão rápido.

Provar uma conjectura verdadeira pode exigir 100 páginas que só três pessoas no mundo entendem. Mas derrubar uma com um contraexemplo é diferente: você só precisa checar que aquele caso específico realmente quebra a regra. E checar esse aqui é quase trivial — como disse um comentarista no HN, "uma criança em idade escolar consegue confirmar".

São dois cálculos determinísticos. Primeiro, você computa o determinante jacobiano e confirma que dá uma constante não-nula. Isso é derivada parcial e um determinante 3×3 — qualquer sistema de álgebra computacional faz. Em Python, com o sympy:

from sympy import symbols, Matrix, expand

x, y, z = symbols('x y z')

F1 = (1 + x*y)**3 * z + y**2*(1 + x*y)*(4 + 3*x*y)
F2 = y + 3*x*(1 + x*y)**2 * z + 3*x*y**2*(4 + 3*x*y)
F3 = 2*x - 3*x**2*y - x**3*z

J = Matrix([F1, F2, F3]).jacobian([x, y, z])
print(expand(J.det()))   # constante, != 0

Segundo, você mostra que o mapa não é invertível — que dois pontos diferentes colidem na mesma imagem. Isso se resolve com resultantes ou bases de Gröbner, também mecânico. Foi o que a galera fez: rodaram no Wolfram Alpha, no Sage, e apareceu até uma verificação formal em Lean no GitHub. Quando o resultado cabe num tweet e a conferência é reprodutível por qualquer um, o ceticismo tem pra onde ir. Você não precisa confiar no modelo. Você roda o cálculo.

Esse é o padrão que importa, e ele se repete: os avanços de IA que valem são aqueles cujo output é barato de verificar. Foi assim quando dois físicos de elite creditaram ao Claude a solução de problemas travados há meses. Gerar é caro e arriscado. Verificar é barato. E é a verificação que transforma "IA falou" em "matemática de verdade".

Limitações e o que ainda falta

Segura o entusiasmo no ponto certo. Algumas ressalvas honestas:

Não tem paper revisado por pares. O que existe é um anúncio no X e verificações independentes espalhadas. Enquanto não passa pelo crivo formal de um journal, o rótulo correto é "aparentemente confirmado", não "confirmado".
A conjectura tem histórico de matar quem cantou vitória cedo. Foram cinco provas publicadas e furadas ao longo de 85 anos. A diferença aqui é que um contraexemplo explícito é bem mais difícil de errar do que uma prova de 100 páginas — mas o ceticismo de ofício continua valendo até o determinante e a não-injetividade estarem checados por todo mundo, símbolo por símbolo.
O papel do modelo vs. do humano é ambíguo. Parte do ceticismo inicial foi exatamente esse: quanto foi Fable e quanto foi Alpöge, um número-teórico formado por um medalhista Fields? Ele partiu de uma construção existente. Chamar isso de "IA derrubou sozinha uma conjectura de 90 anos" é esticar. O honesto é: parceria, com o humano no volante.
Não confunda com "resolver a conjectura". Derrubar (achar um contraexemplo) e provar (mostrar que vale sempre) são coisas diferentes. Aqui a conjectura foi refutada, não demonstrada.

FAQ rápido

Isso quer dizer que a Conjectura Jacobiana está resolvida? Está refutada, se a verificação segurar — mostraram que ela é falsa exibindo um caso onde ela quebra. Não é o mesmo que provar que ela valia. E ainda depende de confirmação formal da comunidade.

O Fable 5 fez isso sozinho? Não. Um matemático experiente (Levent Alpöge) conduziu, partindo de um quase-contraexemplo conhecido. O Fable ajudou a fechar o buraco que faltava. Parceria, não autonomia.

Por que os matemáticos aceitaram tão rápido, sem paper? Porque um contraexemplo é barato de conferir: basta computar um determinante e checar que dois pontos colidem. Rodaram no Wolfram Alpha, no Sage e até em Lean. O resultado se verifica sozinho.

Isso é diferente do "GPT-5.6 descobriu matemática nova"? Sim, e o contraste é útil. Naquele caso os matemáticos pisaram no freio porque a alegação era vaga e difícil de checar. Aqui o artefato é concreto e reprodutível — é a diferença entre "confia em mim" e "roda o código".

O que fica

O título honesto não é "a IA venceu a matemática". É outro, mais interessante pra quem constrói coisa com esses modelos: a IA virou um parceiro de busca capaz de fechar problemas maduros que um especialista já cercou — e o valor real está no artefato verificável que ela produz, não na manchete. Frente madura, humano no volante, output que a comunidade confere em minutos. É esse o pacote que muda o jogo, não o modelo sozinho tendo insight.

E é exatamente essa engenharia — usar IA como parceiro de verificação e não como oráculo — que a gente destrincha ao vivo no Clã Beer and Code, a maior comunidade de engenharia de IA do Brasil, com mentorias, labs práticos e a turma que coloca agente em produção de verdade. Porque o próximo salto do dev não é usar IA. É saber construir — e conferir — o que ela entrega.

Se a verificação segurar, uma conjectura de 90 anos caiu num fim de semana de Copa do Mundo. O que mais está maduro, esperando alguém com o parceiro certo do lado?