Um problema matemático que resistiu por 87 anos teve um desfecho inesperado: uma inteligência artificial ajudou um pesquisador a encontrar um contraexemplo capaz de derrubar uma das conjecturas mais conhecidas da área.
Segundo a New Scientist, a descoberta feita pelo matemático Levent Alpöge pode ser o caso mais complexo já resolvido com participação significativa de uma IA na matemática.
Conjectura de 1939 é derrubada por uma linha matemática
Alpöge, pesquisador da Universidade Harvard, publicou em 19 de julho, na rede social X, um contraexemplo de apenas 216 caracteres que contradiz a chamada conjectura de Jacobiano.
Formulada pelo matemático Ott-Heinrich Keller em 1939, a hipótese defendia que determinado tipo de função matemática também deveria funcionar no sentido inverso. O problema atravessou décadas sem uma resposta definitiva e chegou a integrar, em 1998, uma lista de 18 grandes desafios matemáticos para o século XXI criada por Stephen Smale.
Em sua publicação, Alpöge afirmou que contou com a ajuda de seu “amigo próximo Fable”, aparentemente uma referência ao Claude Fable 5, modelo de IA da Anthropic. O pesquisador também agradeceu ao sistema pelo trabalho realizado durante a final da Copa do Mundo.
Especialistas destacam avanço da inteligência artificial
Para Abhishek Saha, pesquisador da área de matemática da Queen Mary University of London, o resultado amplia o papel da IA na pesquisa matemática.
