Верификация ПО в эпоху искусственного интеллекта
Генеративный ИИ снова подталкивает к старой мечте: описал требования — и получил готовую систему. Но в программной инженерии именно требования, архитектура и верификация обычно съедают больше всего времени, а не сам код. ИИ тут помогает, но не отменяет сложность задачи.
Отдельно важен момент с галлюцинациями: чем больше ИИ пишет за нас, тем дороже становится ошибка. Поэтому эксперимент с формально верифицированной системой управления конференциями выглядит здраво: спецификация, реализация, проверка и исправления вместо надежды на «ну, сойдёт». Для обычного софта это полезно, а для критичных систем — почти обязательный порядок.
Источник: Habr AI
Все новости: ai.popovs.tech
В этом посте были ссылки, но мы их удалили по правилам Сетки
