ME News: 21 липня (UTC+8) Vitalik у повідомленні на платформі X сказав, що новим видом «просунутої мови програмування», який варто спробувати, є мова, яка компілюється в Lean (або HOL тощо), з акцентом на те, щоб визначення та теореми були якомога зрозумілішими для людей. Не самі доведення — бо доведення мають бути лише правильними — а саме визначення та теореми. Його уявлення полягає в тому, що AI виводить великий обсяг доведень, а читач повинен зможе якомога простіше зрозуміти, які саме твердження було доведено в цих виводах. (Джерело: ChainCatcher)
Віталік пропонує нову мову програмування для спрощення читання визначень і теорем
KuCoinFlashПоділитися
Короткий зміст
Віталік Бутерін запропонував нову мову програмування високого рівня 21 липня, розраховану на компіляцію в Lean або HOL для покращення читабельності визначень і теорем. Мова буде опиратися на ШІ для обробки доведень, пов’язаних з Proof of Work (PoW) і Proof of Stake (PoS), дозволяючи користувачам зосередитися на ясності тверджень. Мета — зробити складні твердження більш доступними, особливо з урахуванням того, що ШІ генерує все більш довгі доведення.
Джерело:Показати оригінал
Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації.
Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.