Віталік Бутерін запропонував нову мову програмування для штучного інтелекту

Віталік Бутерін, співзасновник Ethereum, представив ідею розробки нової мови програмування, метою якої є спрощення перевірки виходів штучного інтелекту. Ця мова може бути скомпільована в інструменти формального доказу, такі як Lean або HOL. Бутерін вважає, що з розширенням використання моделей штучного інтелекту в розробці програмного забезпечення ці інструменти здатні генерувати складні математичні та технічні докази, але їх розуміння та верифікація для людей є складними. Він запропонував, що частини, які можуть бути зрозумілі людині, повинні бути відокремлені від технічних деталей доказів. Метою цієї мови є зробити виходи штучного інтелекту більш читабельними. Бутерін пояснює, що внутрішні етапи доказу повинні бути математично правильними, і немає потреби, щоб людина читала їх усі. Визначення понять і технічних специфікацій повинні бути написані простими словами. Він також зазначив, що великі мовні моделі можуть генерувати докази, які можуть бути використані для Lean. Ця пропозиція з'явилася одночасно з зусиллями дослідників Ethereum щодо розробки версії віртуальної машини Ethereum (EVM) з можливістю формального доказу та на основі нульових знань. Бутерін вважає, що використання кодів з формальними доказами може допомогти підвищити безпеку блокчейн-програмного забезпечення. Проте він підкреслив, що ця ідея все ще на концептуальному етапі, і жоден прототип не був опублікований.

Відмова від відповідності: цей контент надано лише для загальних брендингових та інформаційних цілей і не є фінансовою, інвестиційною, юридичною чи податковою консультацією. Події, нагороди, онлайн-події або пов’язану інформацію, згадана тут, не слід розглядати як рекомендацію, прохання чи запрошення до купівлі, продажу, торгівлі чи інших операцій з криптоактивами або використання послуг. Криптоактиви є дуже волатильними та можуть призвести до збитків. Послуги WEEX та онлайн-події можуть бути недоступні в усіх регіонах та підпадають під дію чинних законів, правил та вимог до участі. Ви несете відповідальність за забезпечення відповідності використання вами послуг WEEX місцевому законодавству та за ретельну оцінку ризиків перед участю в діяльності, пов’язаній з криптовалютами.