Anthropic, yakın zamanda Claude AI'nin Fermat'ın Son Teoremi'ni 11 günde bağımsız olarak formel olarak kanıtladığını ve yaklaşık 13 milyon satır, satır satır makine tarafından doğrulanabilir kod ürettiğini duyurdu; bu kanıt matematikçi Kevin Buzzard tarafından doğrulandı. Bu çalışma,彭天一 tarafından geliştirilen Prove2Me adlı işbirliği aracını kullanarak, gerçek zamanlı görev listesiyle görevleri koordine eden onlarca Claude ajanı tarafından paralel olarak yürütüldü; kanıtın yaklaşık %7'si önceki hatalı denemelerden gelmektedir ve her mantıksal adımın bilgisayar tarafından kontrol edilebilmesi için Lean dili kullanılmıştır.
xiyuPaylaş
Kaynak:Orijinalini göster
Yasal Uyarı: Bu sayfadaki bilgiler üçüncü şahıslardan alınmış olabilir ve KuCoin'in görüşlerini veya fikirlerini yansıtmayabilir. Bu içerik, herhangi bir beyan veya garanti olmaksızın yalnızca genel bilgilendirme amacıyla sağlanmıştır ve finansal veya yatırım tavsiyesi olarak yorumlanamaz. KuCoin, herhangi bir hata veya eksiklikten veya bu bilgilerin kullanımından kaynaklanan sonuçtan sorumlu değildir.
Dijital varlıklara yapılan yatırımlar riskli olabilir. Lütfen bir ürünün risklerini ve risk toleransınızı kendi finansal koşullarınıza göre dikkatlice değerlendirin. Daha fazla bilgi için lütfen Kullanım Koşullarımıza ve Risk Açıklamamıza bakınız.