Anthropic, Claude’un Fermat’nın Son Teoremi için ilk eksiksiz ve bilgisayar tarafından doğrulanmış biçimsel kanıtı hazırladığını açıkladı.

Claude, Andrew Wiles’ın ispatını temel alan çalışmayı büyük ölçüde bağımsız biçimde 11 günde Lean diline aktararak 13 milyon satır kod yazdı ve nihai kanıtta 29 bin 500 ara teorem kullandı. Lean tarafından denetlenen çalışma yeni bir matematiksel ispat ortaya koymaktan ziyade mevcut ispatın her adımını bilgisayarın doğrulayabileceği biçime dönüştürüyor.