Vitalik Buterin zaproponował nowy język programowania dla sztucznej inteligencji

Vitalik Buterin, współzałożyciel Ethereum, zaprezentował pomysł na rozwój nowego języka programowania, którego celem jest uproszczenie analizy wyników sztucznej inteligencji. Język ten może być kompilowany do narzędzi dowodowych, takich jak Lean czy HOL. Buterin uważa, że w miarę rosnącego wykorzystania modeli sztucznej inteligencji w rozwoju oprogramowania, narzędzia te będą w stanie generować skomplikowane dowody matematyczne i techniczne, jednak zrozumienie i weryfikacja tych wyników przez ludzi jest trudne. Zaproponował, aby części, które są zrozumiałe dla ludzi, były oddzielone od szczegółów technicznych dowodów. Celem tego języka jest uczynienie wyników sztucznej inteligencji bardziej czytelnymi. Buterin wyjaśnia, że wewnętrzne kroki dowodu powinny być matematycznie poprawne i nie ma potrzeby, aby człowiek czytał je wszystkie. Definicje pojęć i specyfikacji technicznych powinny być napisane prostym językiem. Zauważył również, że duże modele językowe mogą generować dowody użyteczne dla Leana. Ta propozycja pojawiła się równocześnie z wysiłkami badaczy Ethereum na rzecz rozwoju wersji maszyny wirtualnej Ethereum (EVM) z możliwością dowodzenia formalnego i opartą na wiedzy zerowej. Buterin wierzy, że wykorzystanie kodów z formalnym dowodem może przyczynić się do zwiększenia bezpieczeństwa oprogramowania blockchain. Podkreślił jednak, że pomysł ten jest wciąż na etapie koncepcyjnym i nie opublikowano jeszcze żadnego prototypu.

Niniejsza treść ma charakter wyłącznie informacyjny i nie stanowi porady finansowej, inwestycyjnej, prawnej ani podatkowej. Wszelkie wydarzenia, nagrody, promocje online lub powiązane informacje, o których tu mowa, nie powinny być traktowane jako rekomendacja, zachęta ani zaproszenie do kupna, sprzedaży, wymiany lub innego rodzaju obrotu aktywami kryptograficznymi. Aktywa kryptograficzne charakteryzują się dużą zmiennością i mogą prowadzić do strat. Dostępność usług, produktów i powiązanych wydarzeń WEEX może się różnić w zależności od regionu. Użytkownik jest odpowiedzialny za upewnienie się, że jego udział jest zgodny z obowiązującymi lokalnymi przepisami i regulacjami.