Fable 5 Refuta a Conjectura Jacobiana, Afirma Pesquisador
- O que aconteceu
- Anthropic researcher Levent Alpöge used Claude Fable 5 to disprove the Jacobian Conjecture, an 87-year-old math problem posed in 1939. Verified in Lean within hours.
- Porque é importante
- This is the second long-standing math problem frontier AI has tackled in two weeks. Frontier models now produce results on century-old problems as a side effect of general capability.
- O que fazer
- No action needed. This is a capability signal, not a product change. If you work in research mathematics, explore how frontier models can accelerate proof discovery.
O pesquisador da Anthropic, Levent Alpöge, anunciou que o Claude Fable 5 refutou a Conjectura Jacobiana, um problema de 87 anos em geometria algébrica que resistia à solução desde que Ott-Heinrich Keller o formulou em 1939. O resultado — verificado no assistente de provas Lean em questão de horas, disse o matemático do Imperial College Kevin Buzzard à Fortune — marca a segunda vez em duas semanas que a IA de fronteira produziu resultados sobre problemas que definiram questões em aberto por gerações, relata a Fortune.
O que aconteceu
Em 20 de julho, o pesquisador da Anthropic, Levent Alpöge, anunciou no X que havia usado Claude Fable 5 para encontrar um contraexemplo à Conjectura Jacobiana (Alpöge, 2026). A publicação teve mais de 30 milhões de visualizações. Na manhã seguinte, a prova havia sido verificada no Lean.
A conjectura diz respeito ao que os matemáticos chamam de mapas polinomiais — especificamente, se um mapa cujo determinante Jacobiano é uma constante não nula deve ser unicamente invertível. O contraexemplo de Alpöge produziu três entradas diferentes mapeando para a mesma saída mantendo um determinante Jacobiano constante de −2, refutando a afirmação central da conjectura.
"É um grande dia", disse o matemático do Imperial College Kevin Buzzard à Fortune.
Duas semanas antes, a OpenAI atribuiu uma prova da Conjectura da Dupla Cobertura de Ciclos — outro problema antigo em aberto, este em teoria dos grafos — ao GPT-5.6 Sol (AI Weekly, 2026), embora a afirmação não tenha sido revisada por pares independentemente. A velocidade é a história: a IA de fronteira agora está produzindo resultados sobre problemas que resistiram à solução por décadas.
Por que isso importa
Isso não é força bruta. A OpenAI supostamente usou paralelismo massivo — 64 subagentes. A Anthropic usou um único pesquisador em uma sessão focada com o Fable 5. A diversidade de abordagens sugere que a IA de fronteira é amplamente capaz através de paradigmas.
A lacuna entre verificação e compreensão é real. O matemático da Universidade de Chicago, Akhil Mathew, capturou a tensão: "Pode-se verificar que está correto, mas seria bom poder contar uma história." A IA produz a prova, mas não pode explicar como chegou lá.
Nem a OpenAI nem a Anthropic construíram esses modelos para matemática. Fable 5 e GPT-5.6 Sol foram treinados como modelos de fronteira de propósito geral. Resolver conjecturas como efeito colateral é o sinal real.
O que muda para você
Isso é um sinal de capacidade, não uma mudança de produto. O veredito do diretório do Fable 5 permanece Conditional.
Se você trabalha em matemática de pesquisa:
- Explore modelos de fronteira para descoberta de provas. O resultado de Alpöge demonstra que um único pesquisador pode enfrentar problemas que definem campos inteiros.
- A verificação no Lean muda o modelo de confiança. Provas geradas por IA verificadas por máquina eliminam gargalos de meses de revisão por pares.
- Não espere que a IA substitua a intuição matemática. Saber o que perguntar continua sendo uma habilidade humana.
FAQ
O que é a Conjectura Jacobiana? Um problema em geometria algébrica formulado por Ott-Heinrich Keller em 1939. Alpöge encontrou um contraexemplo que refuta a conjectura.
Isso foi resolvido inteiramente por IA? Não. Alpöge guiou o Fable 5 através do problema. A IA foi uma ferramenta, não um matemático autônomo.
É a primeira vez que a IA resolveu um grande problema matemático? Não. A IA de fronteira vem produzindo matemática publicável há meses. A Conjectura Jacobiana é o resultado mais proeminente até agora.
Ferramentas e modelos afetados
Nunca mais precisas de te pôr a par
O resumo semanal — apenas mudanças de veredicto e ações urgentes. Sem enchimento.