Как использовать ИИ для проверки кода: галлюцинации и верификация
ИИ-ассистенты меняют написание кода, но верификацию проще не делают — скорее наоборот. Исследователи создали формально верифицированную систему управления конференциями с помощью ИИ и AutoProof для языка Eiffel. Вывод: галлюцинации ИИ делают гарантии корректности более важными. Итеративный цикл «специфицируй — реализуй — верифицируй — исправляй» работает даже для критических систем.
AI-обработка оригинала Habr AI; редакция Hamidun News
Генеративный ИИ помог разработчикам: ChatGPT, Claude и другие нейросети теперь пишут код по описанию. Но новое исследование показывает реальность: машина решает только малую часть программной инженерии, а самые трудные её части — требования, архитектура и верификация — по-прежнему остаются за инженерами.
Может ли нейросеть полностью заменить программиста?
Нет. Разработчики тратят на непосредственное кодирование от 20 до 30% рабочего времени. Остальное уходит на сбор требований, проектирование и верификацию, которые требуют человеческого опыта.
- 12 нояб. 2026 г.Дженсен Хуанг ушёл с поста CEO Nvidia: компания потеряла $1,4 трлн за две недели
- 12 нояб. 2026 г.Профсоюз Окленда добился переобучения вместо увольнений из-за ИИ: за забастовку 94,1%
- 12 нояб. 2026 г.Восемь стран и OpenAI с Anthropic обещают «рубильник» для ИИ-моделей, но без сроков и штрафов
- 12 нояб. 2026 г.OpenAI и ModRetro выпустили консоль за $200 для игр, написанных в Codex
Внедряйте ИИ быстрее рынка вместе с инженерами и фаундерами
Внутри Vibe Club (hamidun.com/club): еженедельные живые мастермайнды и разборы архитектуры с Жемалом Хамидуном, закрытый Tech Radar, LMS и обновляемая база из 370+ боевых скиллов.
Главное из мира ИИ — раз в неделю
7 ключевых событий недели, отобранных вручную. Без шума, репостов и пресс-релизов.
Готово! Проверьте почту — мы отправили подтверждение.