Anthropic: Claude, Fermat’ın Son Teoremi’ni Tam Olarak İspatladı ve Lean İle Doğrulattı

Yapay zeka araştırma şirketi Anthropic, geliştirdiği Claude yapay zeka modelinin matematik tarihinin en bilinen ve karmaşık problemlerinden biri olan Fermat’ın Son Teoremi’ne eksiksiz bir ispat getirdiğini duyurdu. Yapılan açıklamaya göre elde edilen ispat, mantıksal hataları denetleyen ve matematiksel önermeleri bilgisayar ortamında resmi olarak doğrulayan Lean adlı teorem doğrulama yazılımı vasıtasıyla kontrol edilerek onaylandı. Cointelegraph'ın 4 Eylül tarihli haberine göre, Claude söz konusu süreci büyük oranda otonom şekilde yürüttü.

Anthropic, Claude modelinin yaklaşık 11 gün boyunca kesintisiz ve büyük ölçüde bağımsız bir şekilde çalışarak bu başarıya ulaştığını bildirdi. Şirket, gerçekleştirilen bu çalışmayı Fermat’ın Son Teoremi’nin bilgisayar ortamında tamamen doğrulanmış ilk yapay zeka ispatı olarak nitelendirdi. İspat sürecinde kullanılan Lean yazılımı, karmaşık matematiksel adımları kodlama yapısına dönüştürerek bilgisayarların mantıksal eksiklikleri kesin olarak tespit etmesine olanak tanıyor.

Gelişmiş yapay zeka modellerinin uzun süreli ve karmaşık mantık yürütme süreçlerinde gösterdiği bu performans, teknoloji ve yazılım sektöründe geniş yankı buluyor. Yapay zekanın sadece metin üretimi veya temel veri analiziyle sınırlı kalmayıp ileri seviye matematiksel problemleri resmi olarak doğrulayabilmesi; akıllı sözleşme denetimleri, kriptografik protokoller ve yazılım güvenliği gibi alanlarda otomatik doğrulama teknolojilerinin önemini yeniden ön plana çıkarıyor.

Anthropic yetkilileri, elde edilen sonucun bir yapay zeka modelinin uzun bir zaman dilimine yayılan son derece karmaşık matematiksel ispat süreçlerini başarıyla yürütebileceğini ve bu sonuçların formal yöntemlerle doğrulanabileceğini açıkça ortaya koyduğunu ifade etti. Yapay zeka ve matematiksel doğrulama araçlarının bu tür entegrasyonlarının, gelecekte yazılım mimarisi ve sistem güvenliği standartlarında önemli değişimlere zemin hazırlayabileceği belirtiliyor.