Último Teorema de Fermat

Pesquisadores exploram o uso de IA na formalização do Último Teorema de Fermat

Um grupo de 25 pesquisadores se reúne em Londres para formalizar o Último Teorema de Fermat utilizando modelos...