SSR (Socratic Self-Refine): пошаговая проверка рассуждений через подвопросы

Проблема: LLM плохо проверяет собственные рассуждения. Просишь «найди ошибку» — отвечает «всё ок» или указывает на что-то расплывчатое. Ошибка на шаге №3 ломает всё дальнейшее, но модель не может сказать где именно облажалась. SSR позволяет находить слабые места в многошаговых рассуждениях (финмодели, математика, логические задачи) через точечную проверку каждого шага. Фишка: разбиваешь решение на подвопросы и заставляешь модель перерешить каждый 3-5 раз — не зная что это проверка. Модель думает что решает новые задачи. Если ответы расходятся — этот шаг ненадёжен. Расхождения указывают на ошибку точнее чем «посмотри на решение целиком».