«Formalize, Don't Optimize»: почему просьба «оптимизируй» разрушает точность LLM в сложных задачах

Парадокс: слово «оптимизируй» в промпте снижает точность — для слабых моделей на 7–16 процентных пунктов, для сильных даёт хаотичный разброс без предупреждения. Метод двухшаговой формализации позволяет решать задачи с множеством условий — распределение бюджета, расписания, ресурсы — без уверенных ответов, которые тихо нарушают пару условий внутри. Ключ: сначала в отдельном запросе перечисли все переменные, ограничения и цель — и только потом ищи решение. Модель видит полный список перед собой и не держит условия в голове пока пишет ответ.