Claude menutup Fermat dalam masa 11 hari: 13.4 juta baris Lean dan sifar 'jelas'
Anthropic mengumumkan bukti lengkap pertama yang disemak komputer bagi Teorem Terakhir Fermat: Claude menukar bukti Wiles menjadi Lean dalam 11 hari — 13.4 juta baris, 29,500 teorem, tiga aksiom.