Виталик прав, что сочетание ИИ и формальной верификации может стать одним из самых важных подходов к разработке программного обеспечения. Безопасность в индустрии блокчейн может быть значительно улучшена. Нет, всё не так просто, как «ИИ пишет код, доказательства его проверяют, и поэтому ethereum становится свободным от ошибок». Более реалистичная версия выглядит так. ИИ делает инженерию с высокой степенью надёжности более доступной и масштабируемой. Командам всё равно нужно определить, что должно быть истинным, правильно смоделировать систему, поддерживать доказательства и проектировать системы, которые действительно можно верифицировать.
