🧮Pesquisador diz ter refutado conjectura matemática de 86 anos com ajuda do Claude
Levent Alpöge, pesquisador da Anthropic, afirma que a conjectura Jacobiana, um problema em aberto na matemática desde 1939, é falsa. Ele publicou o que seria um contraexemplo explícito: um polinômio concreto que mostra que a conjectura não vale. --- Alpöge creditou o Claude Fable 5 como parceiro no trabalho. Na publicação original, ele se referiu ao modelo como 'meu amigo próximo fable' e brincou que o modelo 'trabalhou durante a final da Copa do Mundo'. --- Vale o aviso: a comunidade matemática ainda precisa verificar o resultado. Conjecturas centenárias não caem sem escrutínio pesado. Mas se confirmado, é mais um caso de IA contribuindo para descobertas que humanos sozinhos não conseguiram resolver em décadas.
Levent Alpöge, pesquisador da Anthropic, afirma que a conjectura Jacobiana, um problema em aberto na matemática desde 1939, é falsa. Ele publicou o que seria um contraexemplo explícito: um polinômio concreto que mostra que a conjectura não vale.
— @MTSlive View on X
Levent Alpöge, pesquisador da Anthropic, publicou um artigo alegando ter refutado a Conjectura Jacobiana, problema em aberto na matemática desde 1939. O trabalho apresenta um contraexplo explícito — um polinômio específico que demonstra a falsidade da conjectura — e credita o modelo Claude Fable 5 como colaborador na descoberta.
O problema de 86 anos
A Conjectura Jacobiana pertence ao campo da álgebra comutativa e geometria algébrica. Proposta por Keller em 1939, afirma que todo endomorfismo invertível de um anel de polinômios com coeficientes em um corpo de característica zero deve ser um automorfismo linear — ou seja, uma transformação simples e previsível. Se confirmada, a conjectura implicaria que certos mapeamentos polinomiais complexos possuem inversas polinomiais.
Alpöge apresenta o oposto: um polinômio concreto que viola essa condição. Na publicação, o pesquisador se refere ao Claude Fable 5 como "meu amigo próximo fable", mencionando que o modelo processou cálculos durante a final da Copa do Mundo.
Como a IA entrou na matemática pura
O caso segue uma tendência crescente de large language models (LLMs) atuando em pesquisa matemática avançada. Diferente de aplicações comerciais típicas, aqui a IA funcionou como parceiro cognitivo na exploração de estruturas algébricas abstratas.
Para desenvolvedores e builders brasileiros, o episódio destaca três pontos práticos:
- **Ferramentas de raciocínio**: Modelos como o Fable 5 estão evoluindo além de geração de código para auxílio em provas formais e verificação matemática
- **Híbridos humano-máquina**: Pesquisadores combinam intuição matemática com capacidade computacional de processar casos complexos que escapam da análise manual
- **Ciclos de validação**: Descobertas assistidas por IA ainda exigem verificação rigorosa pela comunidade científica antes de aceitação formal
O que falta
A comunidade matemática ainda não validou o resultado. Conjecturas de longa data exigem escrutínio peer-review extenso, particularmente quando envolvem computação simbólica complexa. O artigo de Alpöge precisa ser verificado por especialistas em álgebra e geometria algébrica antes de consolidar o resultado.
Se a refutação se confirmar, representará mais uma fronteira onde sistemas de IA contribuem para problemas que resistiram a décadas de abordagens puramente humanas na matemática teórica.