IA Resolve Problema Matemático de 350 Anos com a Prova Mais Longa de Sempre
A Claude AI da Anthropic provou o Último Teorema de Fermat em apenas 11 dias, escrevendo uma prova de 13 milhões de linhas — um trabalho que desafiou humanos por 358 anos.
Uma inteligência artificial fez em 11 dias o que matemáticos não conseguiram terminar em anos. A Anthropic (uma empresa que constrói sistemas de IA) diz que sua IA, chamada Claude, produziu a prova matemática mais longa já escrita — e a usou para finalmente resolver um enigma que intrigou especialistas por 358 anos. O enigma é chamado de Último Teorema de Fermat. Em 1637, um matemático chamado Pierre de Fermat rabiscou uma afirmação na margem de um livro, dizendo que tinha uma
Aviso legal: Este conteúdo é apenas informativo e não constitui aconselhamento financeiro. Sempre faça sua própria pesquisa antes de tomar decisões de investimento.