Google DeepMind'in otonom AI ajanı, efsanevi Erdős problem setinden 353 açık problemden 9'unu çözdü. Bu set, matematikçilerin on yıllardır çözmekte zorlandığı kombinatorik ve sayı teorisi zorluklarından oluşuyor. Dokuz problemin ikisi 56 yıldır çözülememişti — bu da onları, alanın büyük ölçüde insan araştırmacıların yalnız çalışarak çözmesi imkansız olarak kabul ettiği problemler kategorisine yerleştiriyor.
Sonuç, sadece matematik için değil, daha geniş araştırma topluluğunun AI'nın formal akıl yürütmedeki rolü hakkında nasıl düşünmesi gerektiği açısından da önemlidir. Erdős problemleri, sıradan hesaplamalar değildir — yaratıcı sıçramalar, varsayımlar oluşturma ve kanıt inşası gerektirir. İnsan desteği olmadan bu alanda hareket eden otonom bir ajan, önceki AI matematik standartlarının ötesinde niteliksel bir adım atmıştır.
WuBlockchain
CoinDesk
Altcoin Daily