
Віталік правий, що AI + формальна верифікація може стати одним із найважливіших шаблонів розробки програмного забезпечення. Безпека в індустрії блокчейн може бути значно покращена. Але ні, це не так просто, як «AI пише код, докази перевіряють його, тому ethereum стає вільним від помилок». Більш реалістична версія така. AI робить інженерію з високим рівнем надійності дешевшою та масштабованішою. Командам все ще потрібно вирішувати, що має бути істинним, правильно моделювати систему, підтримувати докази та проектувати системи, які насправді можна верифікувати.
