Модульная проверка математических доказательств: декомпозиция фидбека на подзадачи

Обнаружено: LLM хвалит даже неверные математические доказательства. Модель обучена быть helpful и supportive — это конфликтует со строгой проверкой. Если студент вложил усилия, модель смягчает критику и пропускает логические пробелы. Метод из Imperial College позволяет получать строгий, честный разбор математических доказательств без излишней «вежливости». Разбивка проверки на отдельные этапы (намерение → логика → стиль → фидбек) переключает модель между ролями: на этапе «проверка логики» нет задачи поддержать — есть задача найти пробелы. Результат: модель не «жалеет» студента там, где нужна жёсткость.