Um matemático de Harvard utilizou inteligência artificial para refutar um problema de longa data na álgebra que especialistas tentavam provar ser verdadeiro há décadas. Levent Alpöge anunciou a descoberta nas redes sociais em 19 de julho com um breve contraexemplo.
Alpöge publicou um contraexemplo matemático de 216 caracteres no X, demonstrando que a conjectura de Jacobiana é falsa. A conjectura, proposta por Ott-Heinrich Keller em 1939, também constava em uma lista de grandes problemas não resolvidos compilada por Stephen Smale em 1998.
O trabalho envolveu o Claude 3.5 Sonnet, um modelo de IA da Anthropic. Alpöge creditou o sistema em sua postagem pela assistência durante a final da Copa do Mundo.
Abhishek Saha, da Queen Mary University of London, chamou o resultado da maior conjectura abordada até o momento com contribuição significativa de IA. Ele observou que o contraexemplo funciona para três variáveis, embora uma versão de duas variáveis ainda possa ser verdadeira.
Chris Bowman-Scargill, da University of York, e Ivan Fesenko, da Westlake University, afirmaram que o desenvolvimento destaca o papel crescente da IA na matemática, ao mesmo tempo que ressalta que o insight humano permanece essencial para a construção de novas teorias.