Claude menutup Fermat dalam 11 hari: 13,4 juta baris Lean dan nol 'sudah jelas'
Anthropic mengumumkan bukti lengkap Teorema Terakhir Fermat yang pertama kali diperiksa komputer: Claude mengubah bukti Wiles menjadi Lean dalam 11 hari - 13,4 juta baris, 29.500 teorema, tiga aksioma.