Mais um avanço da IA na matemática:
Um protótipo avançado do chatbot de inteligência artificial Claude produziu uma demonstração de 13 milhões de linhas, verificada por computador, do Último Teorema de Fermat em apenas 11 dias. O fato de uma máquina ter conseguido formalizar essa demonstração histórica — um projeto que se esperava que levasse cerca de uma década para ser concluído por humanos — “simplesmente me deixou boquiaberto”, afirma o teórico dos números Alex Kontorovich. O resultado demonstra que a IA desempenhará um papel cada vez mais importante na criação de versões algoritmicamente verificáveis do trabalho dos matemáticos e indica que essa tecnologia poderá em breve analisar todo o acervo do conhecimento matemático.
O livro que conta a descoberta pelo matemática Andrew Wiles (foto acima) está descrita de maneira deliciosa no livro abaixo:
Postagens
Nenhum comentário:
Postar um comentário