Claude, Fermat'ın Son Teoremi'nin formal kanıtını tamamladı

Anthropic'in duyurusuna göre Claude, Fermat'ın Son Teoremi'nin **Lean ile doğrulanmış formal kanıtını** tamamlayan ilk sistem oldu. Neden önemli? Büyük bir matematik kanıtının doğruluğunu kontrol etmek yıllar alabiliyor. Formalizasyon, kanıtı bilgisayarın adım adım doğrulayabileceği bir forma çeviriyor — insan hakemliğe kıyasla bambaşka bir güvence düzeyi. Matematikçi olmayanlar için de güzel bir işaret: modellerin "uzun, kesintisiz ve hatasız akıl yürütme" kası ciddi gelişiyor. Konuyla ilgili tweet zinciri X akışı sayfasında.