Claude, Fermat’ın Son Teoremi’ni 11 günde biçimselleştirdi
Anthropic, Claude yapay zekâ sisteminin Fermat’ın Son Teoremi’nin bilgisayar tarafından tamamen denetlenmiş bir sürümünü ürettiğini söylüyor. Pierre de Fermat teoremi ilk kez 1637’de ortaya attı; Andrew Wiles ise ilk eks