Um enigma matemático que desafiava os maiores especialistas do mundo há 87 anos acaba de ser resolvido, e a inteligência artificial desempenhou um papel crucial nesse desfecho. O matemático Levent Alpöge, da Universidade de Harvard, apresentou um contraexemplo surpreendentemente conciso que derruba a conjetura jacobiana, formulada originalmente por Ott-Heinrich Keller em 1939. O que torna este feito ainda mais notável é a atribuição de parte do trabalho a um modelo de IA da Anthropic, identificado como "Fable", uma aparente referência a Claude.
A conjetura jacobiana, em sua essência simplificada, propunha que certas funções matemáticas deveriam ser capazes de operar em sentido inverso sob condições específicas. Apesar de sua aparente simplicidade, o problema provou ser extraordinariamente difícil, chegando a ser incluído em uma lista influente de 18 grandes desafios matemáticos para o século XXI elaborada por Stephen Smale em 1998. Muitos pesquisadores dedicaram anos a tentar provar a veracidade da conjetura, dada a sua natureza intuitivamente convincente.
Alpöge, contudo, optou por um caminho distinto. Em 19 de julho, ele divulgou em sua conta no X um contraexemplo com apenas 216 caracteres, demonstrando a falsidade da conjetura para o caso em questão. O matemático mencionou que o sistema de IA trabalhou intensamente durante a final da Copa do Mundo, sugerindo uma referência ao modelo Claude Fable 5, embora a Anthropic não tenha comentado oficialmente. A brevidade da solução contrasta drasticamente com a complexidade e o tempo investidos por gerações de matemáticos na busca por uma resposta.
Especialistas como Abhishek Saha, da Queen Mary University of London, confirmaram a veracidade da linha matemática apresentada por Alpöge. "Provavelmente esta é a maior conjetura em que a IA tem desempenhado um papel significativo até agora em matemática", afirmou Saha, ressaltando os avanços notáveis da IA no último ano. A questão que permanece em aberto é o processo exato pelo qual a IA chegou a esse contraexemplo. Saha observou que problemas complexos podem ter soluções que, uma vez encontradas, são fáceis de verificar, mas o caminho para chegar a elas ainda é um mistério, especialmente no que diz respeito às instruções dadas ao modelo e à intuição humana envolvida.
O achado não encerra o debate completamente. O contraexemplo apresentado refuta a conjetura jacobiana para três variáveis, mas a versão com duas variáveis ainda pode ser válida. Este episódio sublinha o crescente papel da inteligência artificial na pesquisa matemática avançada, levantando debates sobre suas capacidades. Chris Bowman-Scargill, da Universidade de York, distingue entre a localização de contraexemplos e o desenvolvimento de teorias inteiramente novas, uma área que ainda parece depender fortemente da criatividade humana. Ivan Fesenko, da Westlake University, antecipa transformações ainda maiores, prevendo que a IA, capaz hoje de produzir trabalhos de nível de mestrado, em breve alcançará o nível de doutorado em matemática.
O caso de Claude e a conjetura jacobiana servem como um poderoso exemplo do potencial da colaboração entre IA e pesquisadores humanos, abrindo novas fronteiras na exploração científica e na resolução de problemas que antes pareciam intransponíveis. A capacidade da IA de processar vastas quantidades de dados e identificar padrões complexos pode acelerar descobertas em diversas áreas do conhecimento.
Com reportagem de Brazil Valley
Source · El Confidencial — Tech
