Контент доступен только для PRO подписчиков
Чтобы получить доступ к полному содержанию этого исследования, оформите PRO подписку
Скрытие данных за плейсхолдерами и декларативные солверы: как отучить рассуждающие LLM решать задачу в уме вместо написания кода
КЛЮЧЕВАЯ СУТЬ
Адаптировать под запрос
Обнаружено: рассуждающие модели сначала решают задачу вручную в цепочке мыслей, даже когда нужно просто написать код. Замена чисел на плейсхолдеры (переменные-заглушки) и переход на солвер Z3 позволяют генерировать честный расчётный код без холостого перебора и скрытой подстановки ответа. Фишка метода: спрячь конкретные цифры до момента запуска скрипта. Модель физически не может считать в уме и убирает 97% ручного перебора в рассуждениях без потери точности.
Дайджест исследования
Контент доступен только для PRO подписчиков
Чтобы получить доступ к дайджесту этого исследования, оформите PRO подписку
Контент доступен только для PRO подписчиков
Чтобы получить доступ к концептам этого исследования, оформите PRO подписку
Простыми словами
Контент доступен только для PRO подписчиков
Чтобы получить доступ к упрощённому объяснению этого исследования, оформите PRO подписку