Levent Alpöge, pesquisador de 33 anos da Universidade Harvard, surpreendeu a comunidade científica ao divulgar, no último domingo (20/07/2026), um contraexemplo que pode invalidar a histórica Conjectura Jacobiana, formulada em 1939. Segundo reportagem da Fast Company, a façanha foi alcançada com o apoio da Fable, modelo de inteligência artificial desenvolvido pela Anthropic.
A Conjectura Jacobiana propõe que transformações polinomiais em um espaço de coordenadas podem sempre ser revertidas também por polinômios, recuperando o ponto de origem. Um único contraexemplo válido bastaria para derrubar a hipótese — e foi exatamente isso que Alpöge afirma ter encontrado, em apenas 216 caracteres. Para contextualizar o avanço no panorama de inovação em algoritmos, veja a editoria de Inteligência Artificial da S&N.
Em publicação casual na rede X (antigo Twitter), o matemático agradeceu “ao amigo Akhil” pelo estímulo e “à amiga Fable” por trabalhar até mesmo durante a final da Copa do Mundo. O post inclui a expressão polinomial que, se confirmada, encerra a busca de quase nove décadas iniciada pelo alemão Eduard Ott-Heinrich Keller.
Como a IA participou da descoberta
Fable integra a família Claude, da Anthropic, e foi usada como parceira de raciocínio, não apenas como calculadora. De acordo com a Fast Company, o modelo sugeriu caminhos, verificou passos intermediários e ajudou Alpöge a testar variantes até chegar ao contraexemplo final. A colaboração ilustra a transição da IA de ferramenta de apoio numérico para “coautora” em processos criativos de alta complexidade.
Logo após o anúncio, outros matemáticos recorreram ao SymPy, biblioteca Python de álgebra simbólica, e ao Lean, assistente de prova formal, para checar a aritmética. Relatos na própria X indicam que, até o momento, nenhuma inconsistência foi encontrada. Usuários também chamaram o GPT, da OpenAI, para conferências adicionais — nem sempre com resultados sérios, mas reforçando a multiplicação de verificação cruzada por modelos diferentes.
Dois debates emergentes: validação e significado
Embora a revisão por pares ainda não tenha sido concluída, o episódio já reacende duas discussões centrais na pesquisa contemporânea.
- Agilidade versus rigor: sistemas capazes de gerar contraexemplos em minutos podem acelerar a descoberta, porém transferem o esforço humano para a interpretação de por que o resultado é verdadeiro — ou falso.
- Determinismo em probabilidades: críticos costumam alegar que transformadores, por serem estatísticos, não servem a áreas de exatidão. Se o trabalho de Alpöge for confirmado, ele se soma a evidências de que modelos generativos podem, sim, oferecer insights matematicamente sólidos.
Além disso, a formal verification, campo que traduz provas para linguagens checáveis por computador, ganha tração. A Fast Company menciona o uso de Lean para verificar teoremas complexos, mostrando como IA e ferramentas formais convergem para reduzir erros humanos em matemática de fronteira.
Leitura Editorial S&N: por que o Brasil deve observar
Na leitura do Editorial S&N, esse movimento indica um ponto de inflexão também para universidades e institutos de pesquisa brasileiros. A colaboração homem-máquina, antes vista como futurista, já produz resultados concretos que repercutem globalmente. Laboratórios nacionais que incorporarem modelos avançados — ou desenvolverem versões próprias adaptadas ao português — poderão acelerar tanto provas teóricas quanto aplicações em criptografia, otimização e ciência de dados.
Além do ganho acadêmico, o caso sinaliza oportunidade para startups nacionais especializadas em formalização de código matemático ou em plataformas de verificação automática, áreas com baixa competição e alta demanda potencial. Em um país onde a formação de mestres e doutores cresce, integrar IA no ciclo de pesquisa pode ampliar a visibilidade internacional da produção científica local.
Se confirmado, o contraexemplo de Alpöge encerrará um debate que mobilizou gerações de matemáticos. Mas, mesmo que futuras revisões o invalidem, permanece a prova de conceito: modelos como o Fable já conseguem navegar em terrenos onde, até pouco tempo, apenas a intuição humana ousava entrar. Para a Conjectura Jacobiana e além, a matemática passa a ter um novo coprotagonista — a inteligência artificial.
Comentários
Participe com respeito. Comentários passam por proteção anti-spam simples.