Vitalik Buterin: Ethereum mogłoby odnieść korzyść z wykorzystania sztucznej inteligencji do wyszukiwania błędów w kodzie – odszyfruj

Ethereum współzałożyciel Vitalik Buterin pomyślał, że jednym z zastosowań sztucznej inteligencji, które chciałby zobaczyć, jest formalna weryfikacja kodu i wyszukiwanie błędów wspomagana sztuczną inteligencją.

„W tej chwili największym ryzykiem technicznym Ethereum są prawdopodobnie błędy w kodzie” – powiedział dalej Twitter. „I wszystko, co mogłoby znacząco zmienić grę, byłoby niesamowite” –

Nic dziwnego, że w odpowiedziach na tweeta pełno było startupów twierdzących, że stworzyli technologię zmieniającą zasady gry, którą Buterin jest tak podekscytowany.

Współzałożyciel Ethereum nie zawsze wydawał się optymistą co do wpływu, jaki sztuczna inteligencja może mieć na technologię lub ludzkość jako całość. W listopadowym poście na blogu „Mój technooptymizm”, współzałożyciel Ethereum przedstawił swoją prognozę, że sztuczna inteligencja może rozwinąć swój własny „umysł”, działać przeciwko ludziom i stać się nowym gatunkiem wierzchołkowym.

„To skrajne twierdzenie: niezależnie od tego, ile szkód może spowodować najgorszy scenariusz zmian klimatycznych, sztuczna pandemia czy wojna nuklearna, istnieje wiele wysp cywilizacyjnych, które pozostałyby nienaruszone, aby pozbierać kawałki” – stwierdził. napisał wówczas. „Ale superinteligentna sztuczna inteligencja, jeśli zdecyduje się zwrócić przeciwko nam, może nie pozostawić żadnych ocalałych i zakończyć ludzkość na dobre. Nawet Mars może nie być bezpieczny.”

W myślach, którymi podzielił się w poniedziałek rano na Twitterze, nie było żadnych przepowiedni zagłady sztucznej inteligencji. Dla Buterina przejście od zagłady i mroku do optymizmu trwa.

W Styczniowy wpis na bloguButerin powiedział, że sztuczna inteligencja może stać się „graczem w grze” na rynkach kryptowalut. Nie jest to wcale niespotykane. Podkreślił, że boty handlowe od lat są lepsze od ludzi w arbitrażu – czyli wykorzystywaniu rozbieżności cenowych na rynku.

„Jednak boty arbitrażowe AI to tylko pierwszy przykład znacznie większej kategorii, która, jak się spodziewam, wkrótce zacznie obejmować wiele innych aplikacji” – napisał, zanim zaczął mówić o rynkach prognostycznych opartych na sztucznej inteligencji.

Jeśli programiści Ethereum zaczną używać sztucznej inteligencji do weryfikacji kodu i wykrywania błędów, dołączą do rosnącego segmentu branży technologicznej.

Na początku tego miesiąca Microsoft odnotował kolosalne przychody w czwartym kwartale 4 r. — w dużej mierze dzięki wieloletniej współpracy z OpenAI. W swoim raporcie o wynikach firma stwierdziła, że ​​sztuczna inteligencja jest głównym motorem jej sukcesu, niezależnie od tego, czy są to generatywne modele sztucznej inteligencji, analiza kodu, generowanie obrazów czy rozpoznawanie wizualne.

Szybka notatka: Microsoft do swoich zarobków wykorzystuje rok podatkowy, a nie rok kalendarzowy. Zatem drugi kwartał 2024 r. zakończył się 2 grudnia 31 r.

„To był rekordowy kwartał, napędzany ciągłą siłą platformy Microsoft Cloud, która przekroczyła 33 miliardy dolarów przychodów, co oznacza wzrost o 24%” powiedziany Dyrektor generalny Satya Nadella podczas telekonferencji Microsoftu dotyczącej wyników finansowych za drugi kwartał. „Przeszliśmy od mówienia o sztucznej inteligencji do stosowania sztucznej inteligencji na dużą skalę”.

• Dystrybucja treści i PR oparta na SEO. Uzyskaj wzmocnienie już dziś.
• PlatoData.Network Pionowe generatywne AI. Wzmocnij się. Dostęp tutaj.
• PlatoAiStream. Inteligencja Web3. Wiedza wzmocniona. Dostęp tutaj.
• PlatonESG. Węgiel Czysta technologia, Energia, Środowisko, Słoneczny, Gospodarowanie odpadami. Dostęp tutaj.
• Platon Zdrowie. Inteligencja w zakresie biotechnologii i badań klinicznych. Dostęp tutaj.
• Źródło: https://decrypt.co/218022/vitalik-buterin-ethereum-ai-to-find-bugs-in-code