Anthropic, matematik ve yapay zeka dünyasında tarihi bir dönüm noktasını duyurdu: Fermat'ın Son Teoremi'nin (FLT) bilgisayar tarafından doğrulanmış ilk tam ve resmi formülasyonu başarıyla tamamlandı. 1637 yılında Pierre de Fermat tarafından ortaya atılan ve Sir Andrew Wiles'ın 1995 yılında 129 sayfalık zorlu bir çalışma sonucunda kanıtladığı FLT, uzun süredir matematiğin en zorlu engellerinden biri olarak kabul ediliyordu. Tarihsel olarak, karmaşık kanıtların kontrol edilmesi aylar hatta yıllar süren titiz bir insan denetimi gerektirmekte ve hata içeren çalışmalar sıklıkla literatüre girebilmektedir. Yapay zekanın bu doğrulama yükünü hafifletip hafifletemeyeceğini test etmek amacıyla Anthropic'ten Tianyi Peng ve çalışma arkadaşları; Claude tarafından desteklenen çoklu ajan sistemini ve açık bir iş birliği yapısını kullandılar…

Konular: Yapay Zeka, Matematik ve Formal Doğrulama

SiteM’de tam özet, flashcard ve quiz →

Orijinal kaynak: www.anthropic.com

Kaynak: sitem.co — paylas.io yer imi / keşif katmanı.