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

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

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