Simplify-and-Verify: как заставить LLM упростить готовое сложное решение

Запрети LLM искать в интернете — и она не найдёт даже то простое решение, которое уже придумали до неё. Метод позволяет взять любой переусложнённый документ — методику, регламент, доказательство — и получить рабочий упрощённый вариант с тем же результатом. Механика проста: даёшь модели документ целиком и просишь найти способ проще, не объясняя что значит «проще» — а дальше решаешь, разрешать поиск или нет. От этого одного решения зависит, получишь ты рабочий ответ или красиво звучащую ошибку.