IA acelera a formalização do Último Teorema de Fermat em evento histórico
Matemáticos reunidos em Londres registraram avanços surpreendentemente rápidos ao usar inteligência artificial para traduzir em linguagem formal a célebre prova de Andrew Wiles.