30 saatte 1.000 Fable 5.2 ajanı Fermat'nın Son Teoremi'ni Lean'de biçimselleştirdi; Anthropic iki model tanıttı

Anthropic, 10'unda Claude Fable 5.2 ve Mythos 5.2 modellerini tanıttı. Şirket, resmi duyurusunda Fable 5.2'yi genel kullanıma açacağını, Mythos 5.2'yi ise doğrulama programından geçen siber güvenlik ve yaşam bilimleri kuruluşları gibi gruplara sınırlı olarak sunacağını bildirdi.

Anthropic, resmi duyurusunda Fable 5.2 ajanlarından 1.000'inin Fermat'nın Son Teoremi'ni 30 saatte Lean ile biçimselleştirdiğini açıkladı. Şirkete göre biçimselleştirme, matematiksel bir kanıtı bilgisayarın adım adım doğrulayabileceği bir dile aktarma süreci.

Anthropic'in müşteri destek merkezi, Max ve Ultra planları ile Team ve eski koltuk bazlı kurumsal planların premium koltuklarında abonelik süresine göre Fable kullanım limitini 1 ila 3 kez sıfırlama hakkı bulunduğunu belirtti. İlk ödemenin üzerinden 6 aydan az geçen aboneler bu hakkı bir kez, 6 ayını doldurmuş ancak 12 ayı aşmamış aboneler iki kez, 12 ayı aşan aboneler ise üç kez kullanabiliyor. Pro planı ile Team'in standart koltukları için de bir hafta boyunca haftalık kullanım limitinin en fazla %50'sine kadar Fable modellerini kullanma ve limiti bir kez sıfırlama hakkı sunuluyor. Sıfırlamayla geri yüklenen kullanım hakkı Claude Code'da da geçerli; ancak işlem web, masaüstü veya mobil uygulamadan yapılmalı.