Co zrobił zespół
Zespół przypisał każdemu z 20 kont Codex po jednym problemie Erdősa i uruchomił je równolegle. Problemy Erdősa to zestaw trudnych zagadnień matematycznych nazwanych na cześć płodnego matematyka Paula Erdősa. Rozwiązanie nawet jednego jest niebanalne; rozwiązanie 20 naraz pokazuje, że podejście to można zrównoleglić, a nie stosować tylko do jednego problemu na raz. Artykuł na Starfleet Math opisuje metodologię i wyniki, ale nie podaje nazwisk badaczy ani ich afiliacji.
📊 Podgląd danych rynkowych
Dlaczego krypto powinno się tym zainteresować
Technika zrównoleglenia może zostać zastosowana do formalnej weryfikacji smart kontraktów – automatycznego dowodzenia właściwości kodu w celu wykrycia luk przed wdrożeniem. Zmniejszyłoby to koszty audytu i przyspieszyło bezpieczny rozwój DeFi. Możliwość uruchomienia wielu instancji naraz oznacza, że podejście to może skalować się do obsługi tysięcy smart kontraktów na głównych blockchainach. To konkretny krok w kierunku zautomatyzowanej analizy bezpieczeństwa na dużą skalę.
Kwestia zapotrzebowania na moc obliczeniową
Jednoczesne uruchomienie 20 kont Codex wymaga znacznych zasobów obliczeniowych. Dla inwestorów instytucjonalnych obserwujących przestrzeń AI jest to kolejny dowód na to, że zapotrzebowanie na moc obliczeniową dla AI jest realne i rośnie. Wzmacnia to tezę inwestycyjną dla zdecentralizowanych sieci GPU, które oferują
