Premise Audit: как выловить ложные основания в уверенных ответах LLM

Все 8 проверенных математических доказательств содержали скрытую ложь. Не выдуманные ссылки — их хоть можно проверить. Хуже: модель тихо вставляла спорный тезис через «хорошо известно, что» или «очевидно следует» — и строила на нём весь ответ. Остальная логика при этом безупречна. Метод Premise Audit позволяет вычистить такие тихие допущения: просишь LLM либо вывести каждый такой тезис из фактов, либо явно пометить его как непроверенное допущение. Один структурный блок в промпте — и уверенный монолит рассыпается: видно где факт, а где воздух.