Генеративный ИИ возродил идею, что скоро программы можно будет не писать, а только описывать словами. Автор статьи разбирает это обещание с точки зрения программной инженерии и верификации.

Создание кода — лишь малая часть разработки, а сложные задачи вроде требований, архитектуры и проверки корректности никуда не делись. Галлюцинации ИИ делают гарантии правильности только более критичными.

Автор описывает эксперимент с ИИ-ассистентом и формальной верификацией системы управления конференциями на языке Eiffel. В итоге был выведен итеративный процесс: спецификация, реализация, попытка верификации и исправление.

Инструментальная цепочка при этом рассматривается как федерация взаимодействующих ИИ-агентов. Вывод: для повседневных задач ИИ автоматизирует рутину, а для критических систем уроки программной инженерии становятся только актуальнее.