IA AJUDA A DERRUBAR CONJECTURA DE 87 ANOS

Uma regra matemática resistiu por 87 anos. Então, três equações foram suficientes para mostrar que ela estava errada. O mais surpreendente é que o contraexemplo foi encontrado por uma inteligência artificial, conferido por matemáticos e, em poucos dias, transformado no ponto de partida para novas pesquisas. O episódio aconteceu em julho e envolve a Conjectura Jacobiana, formulada pelo matemático alemão Ott-Heinrich Keller em 1939. O problema atravessou gerações de pesquisadores até que o Claude Fable 5, modelo desenvolvido pela Anthropic, encontrou uma construção matemática capaz de derrubar sua versão geral.











