Compiler-Guided Refinement: точная обратная связь важнее общих инструкций

Парадокс: Исследователи давали GPT-5 документацию по языку Idris — решил 30 задач из 56. Давали справочник — 34 задачи. Копировали конкретные ошибки компилятора и просили исправить — 54 задачи. Разница не в знаниях, а в формате обратной связи. Metod позволяет получать точные результаты даже при 10+ жёстких требованиях (лимиты символов, запрещённые слова, обязательные пункты) — там где модель обычно что-то упускает. Суть: используй любой строгий верификатор (компилятор, линтер, валидатор, тесты, чек-лист) который даёт точную обратную связь. Модель генерирует → верификатор находит проблему → копируешь ошибку в промпт → модель исправляет. Повторяешь 3-15 раз пока не пройдёт все проверки. C 39% точности в первой попытке до 96% после итераций.