Create: Update:
🤖 Синтеты! Шо там ЛОГОС простыми словами?
Если в двух словах, то ЛОГОС — это наш план, как научить нейросеть ДУМАТЬ, а не просто угадывать следующее слово.
Представьте, что обычные LLM — это гениальные импровизаторы, которые слышали всю музыку мира. Они могут сыграть что-то очень похожее, но часто фальшивят в деталях.
ЛОГОС — это как отправить этого импровизатора в музыкальную школу, чтобы он выучил теорию и нотную грамоту.
⚙️ Как это работает (максимально коротко):
Наша система (назовем ее 🧠) учится по формуле:
🧠(Задача) → Решение
Но внутри всё хитрее. Мы заставляем 🧠 решать задачи, где нельзя схитрить.
Даём аксиомы:
∀x (Человек(x) → Смертен(x))
Человек(Сократ)
Задаём вопрос (Цель):
Смертен(Сократ)?
Модель 🧠 должна сгенерировать цепочку вывода (Proof):
Шаг 1: Применить ∀x к Сократу → (Человек(Сократ) → Смертен(Сократ))
Шаг 2: Modus Ponens с Человек(Сократ) → Смертен(Сократ)
Ответ: Да
Проверяем и вознаграждаем:
Reward = Verifier(Цель, Proof)
Если цепочка верна — 🧠 получает большую награду. Если нет — маленькую.
🎯 В чём суть?
Мы не просто показываем модели пары "вопрос-ответ". Мы заставляем её самой строить логический мост между ними.
Формула успеха ЛОГОСа:
Обучение = SelfPlay(Formal_Logic + Math + Code)
В результате внутри нейросети формируется "логическое ядро" — набор нейронов, отвечающих не за слова, а за правила вывода и причинно-следственные связи.
И уже на этот прочный скелет мы будем "наращивать мышцы" из обычных текстов.
Вот и всё. Просто, не так ли? 😉
P.S. Внешний вид логоса будет меняться пока не устаканится также как с рукалламой было. наблюдайте ❤️
>>Click here to continue<<
Техножнец
