Ankyra: нейро-символический движок, который честно говорит «не знаю»

Галлюцинации больших языковых моделей — не баг, а фундаментальное свойство: модель не отличает факты от правдоподобных додумываний. Существующие техники вроде chain-of-thought или tree-of-thought снижают риск, но не дают гарантий, потому что модель не учится рассуждать, а лишь копирует шаблоны человеческих рассуждений.

Исследователи из проекта Ankyra предлагают принципиально иной подход: не улучшать рассуждения LLM, а вынести логику наружу. Языковая модель генерирует кандидаты, а нейро-символический движок на основе формальной логики проверяет каждый шаг. Если вывод недоказуем — система честно отвечает «не знаю», вместо того чтобы выдумывать. Исходный код, документация и тесты открыты для свободного использования.