RU

[Перевод] Верификация программного обеспечения в эпоху искусственного интеллекта

Генеративный ИИ возродил давнее обещание: что нам больше не придётся писать программы — что достаточно будет лишь сформулировать, что требуется , а ма…

генеративный ИИбольшие языковые моделиверификация ПОпроектирование по контрактуEiffelAutoProofинженерия требованийгаллюцинацииформальные методы
Habr
RU

Почему ваш LLM-бот врёт клиентам — и паттерн, который это чинит

Air Canada проиграла суд за слова чат-бота. Дилер Chevrolet «продал» Tahoe за доллар. Корень один: LLM одновременно решает что сказать и как. Под давл…

llmбольшие языковые моделичат-ботыai-агентыprompt engineeringархитектура поsycophancyevalгаллюцинации llmprompt injectiontriage-and-voice