Спецификация вместо кода: как заставить LLM не подтверждать чужие ошибки, а находить их

Обнаружено: если в коде баг, LLM не ловит его — она оправдывает ошибку тестом, который её же подтверждает. Пример из исследования: функция по ошибке считает "abc" и StringBuilder("abc") разными объектами — модель пишет тест, закрепляющий именно это неверное поведение как правильное. Метод позволяет получать тесты, которые реально находят баги, а не штампуют их как норму. Фишка: код не дополняется описанием намерения, а полностью удаляется и заменяется им — сначала модель словами описывает, каким код должен быть, и только потом видит реализацию, уже как проверку.