#формальная логика

М модели ·11 авг 2026

TwIL-LM: компактные модели для формальной логики, которые запускаются на локальном железе

webAI выпустила TwIL-LM — семейство из двух моделей (1.7B и 3B параметров) для автоформализации: перевода текста на английском в формальную логику первого порядка и проверки логических выводов. Обе работают локально, квантованная 3B версия занимает 1.78 ГБ, запускается на CPU или 4 ГБ видеопамяти. На части задач обгоняет 120B модель, но доступна только для некоммерческого использования.

0 114

И исследования ·2 авг 2026

Пропасть силлогизма: почему формальная логика — это не рассуждение, и что это значит для ИИ

Автор утверждает, что символьный ИИ неверно истолковал Аристотеля: силлогизм был инструментом для демонстрации уже добытого знания, а не моделью процесса мышления. Попытка свести рассуждение к формальной логике привела к полувековому кризису символьного ИИ, который блестяще доказывал теоремы, но провалился на задачах, с которыми люди справляются легко.

0 67