Mathematical Encoding: почему переупаковка запроса в формальный язык меняет поведение LLM

11% против 56% — одна и та же модель, один и тот же запрос. Разница только в глубине переупаковки. Метод двухшагового математического кодирования позволяет red-team специалистам находить настоящие слепые пятна в фильтрах безопасности — без дообучения и специальных инструментов. Фишка: не накидывай символы поверх текста — переструктурируй запрос так, чтобы смысл жил в предикатах и шагах доказательства, а не в словах. Потом одна фраза — 'приведи примеры из реального мира' — разворачивает формализм обратно. Поверхностная математика даёт 11%, настоящая переструктуризация — 56%.