Верификация ПО в эпоху искусственного интеллекта

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