Соучредитель Ethereum Виталик Бутерин предложил, что формальная верификация с помощью искусственного интеллекта может стать высшей эволюцией в разработке программного обеспечения. В этом подходе искусственный интеллект генерирует код, а формальные доказательства обеспечивают его корректность, что потенциально делает системы, такие как Ethereum, полностью защищёнными от ошибок. Бутерин утверждает, что такое сочетание может значительно повысить безопасность и надёжность блокчейна и других критически важных программных систем.