Ekip ne yaptı?
Ekip, 20 Codex hesabının her birine tek bir Erdős problemi atadı ve bunları paralel olarak çalıştırdı. Erdős problemleri, üretken matematikçi Paul Erdős'ün adını taşıyan zorlu matematik sorularından oluşan bir settir. Tek birini çözmek bile önemsiz değildir; 20'sini aynı anda çözmek, yaklaşımın sadece bir problem üzerinde değil, paralelleştirilebileceğini göstermektedir. Starfleet Math makalesi metodolojiyi ve sonuçları detaylandırmakta, ancak araştırmacıların veya bağlı oldukları kurumun adını vermemektedir.
📊 Piyasa Verileri Anlık Görüntüsü
Kripto neden önemsemeli?
Paralelleştirme tekniği, akıllı sözleşmelerin biçimsel doğrulamasına uygulanabilir – kodun özelliklerini otomatik olarak kanıtlayarak dağıtımdan önce güvenlik açıklarını yakalayabilir. Bu, denetim maliyetlerini düşürür ve güvenli DeFi geliştirmeyi hızlandırır. Aynı anda birçok örneği çalıştırabilme yeteneği, yaklaşımın büyük blockchain'lerdeki binlerce akıllı sözleşmeyi işleyecek şekilde ölçeklenebileceği anlamına gelir. Bu, otomatik, büyük ölçekli güvenlik analizine yönelik somut bir adımdır.
Hesaplama talebi açısı
20 Codex hesabını aynı anda çalıştırmak önemli hesaplama kaynakları gerektirir. Yapay zeka alanını izleyen kurumsal yatırımcılar için bu, yapay zeka hesaplama talebinin gerçek ve büyümekte olduğunu gösteren başka bir veri noktasıdır. Bu, merkezi sağlayıcılara alternatif olarak hesaplama gücüne izinsiz erişim sunan merkeziyetsiz GPU ağları için yatırım tezini güçlendirir. Bu tür anlatı
