@Cointelegraph @VitalikButerin я повністю погоджуюся з цим напрямком. Ось що виглядає як захист від майбутніх ризиків. Зі зростанням здатності ШІ генерувати все більш складний код та математичні доведення, наступним обмеженням не буде швидкість виробництва. Натомість це буде питання — чи зможуть кваліфіковані люди зрозуміти, перевірити та підтвердити те, що створив ШІ, перш ніж це буде впроваджено в критичну інфраструктуру. Мова формальних доведень, зрозуміла для людей, може допомогти закрити цю прогалину, зробивши визначення, припущення та теореми легшими для аудиту, не погіршуючи при цьому машинну верифікацію. Це має значення для @ethereum та ширшої екосистеми блокчейн, оскільки смартконтракти, мости, гаманці, протоколи та фінансові застосунки можуть зберігати мільярди доларів, функціонуючи через код, який більшість користувачів не можуть незалежно оцінити. Мета — не припускати, що ШІ зазнає невдачі. Мета — спроектувати систему верифікації ДО того, як помилка, згенерована ШІ, стане системною подією. ШІ може прискорити розробку. Формальні доведення можуть підтвердити логіку. Специфікації, зрозумілі для людей, зберігають відповідальність. Експертний огляд має залишатися останнім рівнем контролю. Це не регулювання, спричинене страхом. Це проактивна архітектура безпеки, розроблена для передбачуваного майбутнього ризику. #Ethereum #AI #BlockchainSecurity #TheFinancialLedger #WealthCoachLathan