Com ajuda de IA, matemático resolve enigma sem solução há 87 anos
Pesquisador de Harvard utilizou inteligência artificial para encontrar contraexemplo que invalida a famosa Conjectura do Jacobiano de 1939
A matemática mundial acaba de presenciar um marco histórico com o auxílio direto de sistemas de computação avançada. O pesquisador Levent Alpöge, vinculado à Universidade de Harvard, anunciou ter encontrado um contraexemplo que derruba a Conjectura do Jacobiano, um problema complexo formulado originalmente em 1939.
O anúncio foi realizado por meio da rede social X, antigo Twitter, e revelou que a solução foi alcançada com o apoio de um sistema de inteligência artificial, colocando fim a um mistério acadêmico que perdurava por quase nove décadas.
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x – 3 x^2 y – x^3 z): \C^3\to \C^3,…
— levent (@__alpoge__) July 20, 2026
Derrubando barreiras históricas
Proposta pelo matemático Ott-Heinrich Keller há 87 anos, a conjectura sugere, em termos simplificados, que certas regras matemáticas que funcionam em um sentido obrigatoriamente funcionariam no caminho inverso. Conforme informações publicadas pelo veículo UOL, essa lógica assemelha-se a uma fechadura que possui uma chave única válida para os dois sentidos. O desafio era considerado tão profundo que foi incluído por Stephen Smale, em 1998, em uma prestigiada lista dos 18 problemas matemáticos mais difíceis para o século 21.
A prova apresentada por Levent Alpöge surpreendeu a comunidade científica por sua brevidade, consistindo em uma única linha de código com apenas 216 caracteres. O matemático indicou que parte do trabalho foi realizado em colaboração com uma ferramenta chamada “fable”, que parece ser uma referência ao modelo Claude Fable 5, da Anthropic. Essa parceria entre humano e máquina demonstra um avanço significativo, superando antigas limitações da tecnologia no processamento de raciocínios lógicos e abstratos.
Inteligência artificial
A validade do resultado já ganha força entre os pares acadêmicos após verificações iniciais. Abhishek Saha, professor da Queen Mary University of London, confirmou que a descoberta está sendo levada a sério pela comunidade. De acordo com o veículo New Scientist, o especialista afirmou que “muitos matemáticos já verificaram a linha publicada”, o que torna a investigação sobre como a máquina chegou a esse resultado a pergunta mais fascinante do momento. Para o acadêmico, o caso demonstra uma evolução em algo que era o calcanhar de Aquiles da tecnologia.
Próximos passos matemáticos
É importante notar que o contraexemplo focado por Levent Alpöge atinge especificamente a versão do problema que envolve três variáveis. Em declarações repercutidas pelo New Scientist, o professor Abhishek Saha ponderou sobre os limites da descoberta: “o contraexemplo derruba a versão com três variáveis, mas uma versão com duas variáveis ainda poderia, em tese, continuar verdadeira”.
O feito sinaliza uma nova era onde a inteligência artificial atua como uma ferramenta capaz de encontrar agulhas em palheiros de dados complexos. O sucesso desta colaboração reafirma que a tecnologia agora é capaz de auxiliar em problemas onde o resultado final é simples de conferir, mas extremamente difícil de descobrir pelo esforço humano isolado.
*Sob supervisão de Giovanna Gomes
