Quando verificar vale mais que confiar: IA, prova formal e decisão
Agentes de IA formalizaram em Lean uma prova já conhecida do Último Teorema de Fermat. O caso não encerra o debate sobre inteligência: ele mostra por que resultados críticos precisam nascer com evidência verificável.
Ler análise