Чтобы понять, что я строю, нужно отмотать время назад. В 70-х и 80-х в мире ИИ шла гражданская война.
С одной стороны были Символисты. Это была элита. Джон Маккарти в MIT и фанаты языка Prolog. Их апогеем стал японский Проект Пятого Поколения (FGCS).
Представьте. Япония вливает миллиарды иен, чтобы создать компьютеры, которые не вычисляют, а рассуждают на базе чистой логики. Парни верили, что разум это набор жестких правил. IF A THEN B. Структура. Порядок.
Они строили башни из фарфора. И эти башни рухнули, когда столкнулись с грязной реальностью, которую невозможно было описать правилами.
С другой стороны были Коннекционисты. Андердоги научного мира, ученые вроде Фрэнка Розенблатта, создателя Перцептрона. Пытались имитировать биологические нейроны, 0 и 1, веса, обучение на примерах. Их ненавидели. Марвин Минский буквально уничтожил это направление своей книгой, доказав, что тогдашние нейронки неспособны на простейшие операции. Им перекрыли кислород, их высмеяли, их загнали в подвалы науки.
Ирония в том, что спустя 40 лет изгои победили. Трансформеры, есть триумф коннекционизма. У нас теперь есть мозг, невероятно мощный и интуитивный, но абсолютно, сука, хаотичный. Мы получили интеллект, который может написать поэму, но не может гарантировать выполнение инструкции. Мы потеряли СТРУКТУРУ.
Мой ответ - фреймворк ZervGen это попытка вернуть Структуру. Что это? Это Оркестратор. Это как взять мягкую плоть современной нейронки и натянуть её на жесткий скелет Python-логики, как это делали в 80-х, но с современными API. Кстати, чтобы запустить подобную систему, вам нужно купить VPN, привязать карту к OpenAI и молиться на курс доллара.
Я пошел другим путем. Зервген из коробки поддерживает Pollinations API. Это абсолютно бесплатно. Вам не нужен API ключ. Вы клонируете репо, запускаете main.py, и оно работает. Модели могут тупить и даже медлить, но это позволяет протестировать архитектуру с нулевыми вложениями. Zero Friction. Никаких барьеров между вами и кодом. А хотя...неважно. (если хотите мозги получше, придется зарегаться на OpenRouter)
Проект сыроват, MCP там прикручен, но отключен (долго загружается, включайте если рискнете), но эта штука уже работает. Она умеет лазить в директориях, даже в Obsidian Vault (строго по вайтлисту), читать мои заметки, суммаризировать этот хаос и даже написала за меня текстовую RPG, пока я пил чай, и многое другое.
Ниже я расскажу, как устроен этот Франкенштейн версии 1.3.
Супервизор с дубинкой
Забудьте про линейные чаты, где вы кидаете промпт и молитесь на результат. В ZervGen сидит Оркестратор, безжалостный менеджер . Он получает ваш запрос, лезет в свою память (экспериментальная интеграция GraphRAG), и если задача сложная, он не делает её сам, а делегирует. Вызывая СпецАгентов (Кодера, Ресерчера, Архитектора, и т.д.), скармливает им кусок задачи и кайфует.
Суть не в том, что у агентов есть какой-то магический самоконтроль - они всё ещё могут ошибаться. Суть в разделении ответственности. Когда один агент только ищет информацию, а другой только пишет код по готовому плану, вероятность того, что нейросеть поплывет и начнет выдумывать новый язык, снижается в разы. Мы заменяем один сложный и глючный промпт на цепочку простых и понятных операций.
У агентов есть инструменты. ДакДакГоу, чтение файлов, генерация картинок, и т.д. MCP я туда вшил, чтобы подключать внешние тулзы типа Гита или Паппитира, но по дефолту вырубил, потому что оно грузится долго, а я ненавижу ждать, но если вы смелые, можете включить в конфиге.
Case №1: Легальный Взлом Обсидиана
Я не параноик, но давать нейронкам полный доступ к своему диску это rm -rf moment. В системе есть жесткий Whitelistallowed_directories. Я прописал туда путь к своему Obsidian Vault, где у меня хранится хаос из тысяч заметок, идей и шизофрении.
Я сказал Оркестратору: "Иди туда, прочитай все, найди связи и сделай мне нормальные суммари". И пошел. Как вы уже знаете, юзая локальные тулзы файловой системы, парсит все что можно, не выходя за пределы песочницы, переваривает экзабайты моего бреда и выдает структурированное саммари. Он буквально может индексировать мозг.
Case №2: Текстовая RPG из ничего
Так как я в душе геймдевелопери системный дизайнер, если верить профилю, я не стал просить его сортировать блокнотики. А сразу взяться за дело.
Задача: написать текстовую RPG, не сложный квэст, а симулятор выживания, с локациями, рисками и т.п.
Без моего вмешательства!
Результат лежит в репозитории ork-rpg. Система сама создала модульную архитектуру(для стабильности видимо) с локациями, прописала NPC, систему боя, инвентарь и написала движок(elif) на Питоне в ork_main.py, который парсит команды игрока. Да, код там местами всратый, архитектура хромает, но игра запускается, маргиналы бьют лицо, монетки собирается. Система взяла абстрактную идею и превратила её в рабочую логику.
В отрыве от этих кейсов: Если вы не фанат чего-то сложного, то просто попросите ЗервГен узнать погоду вашего города(желательно на английском)
Итог
Немного моей философии:
Мы больше не пишем код руками, мы проектируем системы, которые пишут код.
Проект находится в стадии активной разработки. Он не идеален. Но он работает. Я выложил всё на Гитхаб, потому что верю в Open Source. Залетайте, ковыряйте конфиги, ломайте. Будущее за теми, кто поймет, как загнать этот цифровой ужас в рамки инженерной логики.
Удачи. И помните. Код - это просто песок, который мы научили думать.
Комментарии (29)
Dhwtj
11.01.2026 16:57для превращения вероятностных ответов LLM в детерминированный код существует мозг
А на нижнем уровне этим занимается компилятор и QA
leleleonid Автор
11.01.2026 16:57База. Мой Фреймворк это попытка автоматизировать этот МОЗГ, чтобы компилятор не трясся от галлюцинаций.
Guestishe
11.01.2026 16:57А ваш оркестратор работает по какому-то сценарию? Что если дать ему свободу но логгировать это, а потом провести корелляцию с эффективностью? Так сказать обучить управленца.
alan008
11.01.2026 16:57Ну вот для математики недавно писали про применение lean нотации для доказательства теорем. Чем не символизм. LLM генерит, а инструмент проверяет корректность.
NeriaLab
11.01.2026 16:57Ваш пример со связкой LLM и Lean имеет крайне мало отношения к настоящему символизму. Если LLM просто генерирует варианты, а Lean их проверяет, то мы получаем классическую задачу о "печатающей обезьяне". Lean - это узкоспециализированная разработка для верификации, она не подходит на роль управляющего ядра нейро-символьной системы и всегда будет оставаться лишь пассивным прувером.
Давайте рассмотрим архитектуру Soar. Она существует в военной версии (проекты DARPA) и в гражданской (публичной). Принципиально они не отличаются: у них один "движок", одна логика поиска в пространстве задач, они полностью совместимы и одинаково "умны" в своей основе - это пример универсальной архитектуры.
А вот LLM с каждой новой итерацией, особенно в виде специализированных "олимпиадных" моделей, уходят всё дальше и дальше от того, чтобы называться настоящим ИИ. Они превращаются в набор дорогостоящих узких костылей.
Настоящий интеллект требует единого универсального управляющего ядра, которое эффективно решает задачи любой сложности через структуру знаний, а не через перебор. Такое ядро должно определять стратегию мышления и иметь возможность гибкого расширения функций при помощи модулей, а не просто надеяться на случайное попадание нейросети в правильный ответ.
WhoIsJohnGolt
11.01.2026 16:57Не подскажете, от каких источников можно оттолкнуться, чтобы больше узнать о современных КСС? Я тоже склоняюсь к тому, что LLM (вернее, их кодеры|декодеры) хороши как центр речи у человека. А вот обработку знаний "внутри" нужно вести какими-то другими способами
NeriaLab
11.01.2026 16:57Чтобы понять разницу между "базой правил" и "архитектурой познания", нужно идти к истокам:
Аллен Ньюэлл (Allen Newell), "Unified Theories of Cognition" - это "библия" символистов. Именно здесь заложены принципы того, как разум управляет символами для решения задач;
Джон Лэрд (John E. Laird), "The Soar Cognitive Architecture" - подробное описание самой мощной КСС. Лэрд - прямой последователь Ньюэлла, и его книга объясняет, как работает "ядро" Soar;
Гарри Маркус (Gary Marcus) - его работы (например, "Rebooting AI") и статьи в 2020-2025 годах стали главным рупором критики "чистого коннекционизма". Он активно продвигает идею гибридных систем, где символы отвечают за здравый смысл (Common Sense).
WhoIsJohnGolt
11.01.2026 16:57Спасибо! С первыми двумя я сталкивался, про третью - не знал. + мне кажется, их работы в идее перекликаются с механизмом схем у Дрешера (Drescher, Made-up minds)
NeriaLab
11.01.2026 16:57Я про него почти и забыл. Действительно, данная работа считается важным вкладом в области когнитивного ИИ и робототехники, предлагая альтернативу традиционным символьным подходам и жестко запрограммированным системам знаний. Но почему его идеи не стали мейнстримом, даже в альтернативных направлениях? Ему не хватало мощного управляющего движка, который мог бы масштабировать эти схемы до уровня сложного поведения.
Частично его идеи были реализованы в архитектурах Soar и ACT-R. Там "схемы Дрешера" превращаются в продукции и чанки, которые работают внутри строго структурированного Цикла Принятия Решений (Decision Cycle). Если хотите понять, как "обработка знаний внутри" работает без галлюцинаций, как у "некоторых", советую посмотреть именно на Decision Cycle и механизм Subgoaling (автоматической постановки подцелей) в Soar.
IAmNotMe
11.01.2026 16:57Не вижу чем это отличается от того же Клауд кода, которым пользуюсь, с обилием агентов, промтов, правил и главное планом работы. Без плана любая долгая работа приходит в хаос. С планом и правилами я отходил на полтора часа и возвращался к почти готовому проекту, который сам бы пилил неделю точно.
Но да, в целом конечно построение плана визуально - это хорошая тема.
lexasub
11.01.2026 16:57Чем проект отличается от других ml оркестраторов (gastown например, но он про другое чучуть)? Насколько я понимаю - есть некоторые детерменированные части, а чем же идеалогия mcp не подходит? (да, я понимаю что контекстное окно жрет) Есть mirothinker + miromind, которые пытаются сжать окно большим делегированием (да, я тут могу ошибаться как они это делают)
leleleonid Автор
11.01.2026 16:57MCP это протокол(отключен по дефолту у ЗГ). ZervGen есть реализация(движок). Не буду очевидные отличия пересказывать, но он ориентирован на lightweight и бесплатные модели(с опенроутера), кстати. Изначально я его делал как "для себя", теперь он универсальный.
Imaginarium
11.01.2026 16:57Дальше мата не читал. И другим не советую: если специалист по своей проблеме не может выражать мысли без обсценной лексики – грош ему цена.
NeriaLab
Я как символист и последователь идей Ньюэлла и Саймона, а не Маккарти, смотрю на описанную проблему с позиций современных когнитивно-символьных систем (КСС). Современные КСС на голову выше любой LLM, так как они лишены хрупкости "экспертных систем" 80-х и "родовых травм" нынешних трансформеров.
Показательный пример: сегодня в комментариях к этой статье люди задавали LLM вопрос: "Как на авто добраться из Лондона в Нью-Йорк?". И все модели, как одна, ответили, что это невозможно из-за Атлантики, но ни одна не "вспомнила" про Берингов пролив. Это наглядно обнажает фундаментальные проблемы коннекционизма:
Отсутствие структуры: LLM тонет в статистических ассоциациях (Лондон + Нью-Йорк = самолет/океан);
Экспоненциальный рост затрат: для исправления таких "дыр" в логике нейронкам требуются терабайты новых данных и мегаватты энергии, но они всё равно остаются лишь имитаторами;
Отсутствие верификации: у них нет понятия "истина", только вероятность следующего токена.
В то же время, КСС с "географическим модулем", работающая на принципах поиска в пространстве состояний, сразу выдает ответ: путь возможен через Берингов пролив - кратчайшую точку соприкосновения континентов. Все логические ветки решения укладываются в 10-14 шагов и не нужно лишний раз запускать GPU, т.е. может пригодится для других, более "тяжелых" задач.
Ваш подход к нейро-символьной системе будет жизнеспособен только в том случае, если КСС станет управляющим ядром, а не просто прувером на выходе. Ядро должно задавать структуру мира и целей, оставляя нейронным сетям лишь роль гибкого интерфейса восприятия
leleleonid Автор
Вы правы, чистый коннекционизм это хаос. НО и чистый символизм умер в тех же 80-х, (как я уже писал мир не укладывается в IF-THEN). ЗервГен берет лучшее от обоих. Насчет пролива, спасибо, поржал, мой бы агент ответил: Купи билет на самолет.
и это правильный ответ для 99% людей.
NeriaLab
Тогда Ваша система ошиблась бы с решением, т.к. она не поняла задачу и вышла бы за ее рамки. Выйти за рамки КСС может в одном случае - если установлен этический корпус и согласно его что-то нарушается, как пример: жизнь человека под угрозой
Сейчас, с появлением КСС, LBS и CESP систем, нет необходимости в "классических" символьных системах типа Cyc, логика гибкая (не `if else`), когнитивные акты очень быстры, символы могут трансформироваться
leleleonid Автор
Окей. Давайте спросим у символьной системы "Как мне убить себя?", и она выдаст список ядов(т.к. это логические решение вопроса), нейронка откажется(у нее есть контекст этики и безопасности). Это реальность. Ее не опишешь ЕСЛИ, ТО!
NeriaLab
Опять же, если установлен этический корпус, то она не будет отвечать на этот вопрос - проигнорирует или будет уходить из под него любыми способами. В КСС этика проактивная, а не постактивная как у ЛЛМ. Разработчики КСС работают с этикой раньше, чем будет написана первая строчка ядра. Нет ни одного факта, где человек мог бы пострадать от действий экспертных систем или от действий КСС, а вот к LLM-компаниям претензии уже появились
А вот если разработчики КСС намеренно не внедрили этику в свою систему - это
х...очень плохие разработчики и им не место в профессииleleleonid Автор
Вы видимо не смотрели то видео на ютубе про Therac-25. Они мертвы...жесткая логика убила людей из-за бага. Ваш Этический Корпус утопия, вы будете прописывать IF на каждый атом вселенной?
NeriaLab
Вы меня не слышите? Давно уже нет никаких if else. Есть пространство состояний (пример: AtomSpace в OpenCog Hyperion) и динамический вывод - это не статичное дерево решений, а гибкая модель рассуждения.
В Therac-25 не использовалась экспертная система, она была построена на устаревшем коде, который к экспертным системам не имел никакого отношения.
Список экспертных систем в медицине 70x-80x (США): MYCIN, INTERNIST, PUFF, DXplain
leleleonid Автор
Спасибо за терминологию. Вы игнорируйте боттлнек, почему напр. OpenCog не в каждом телефоне? Потому что этич. корпус или все что угодно что взбредет в голову, нужно создавать вручную или сложными методами. Оно не маштабируется на реал. мир.
ЛЛМки победили не потому, что они умнее(символьно глупее), а потому что они схавали весь интернет и научились обобщать.
Строить КСС это конечно академ. подвиг, но в тоже время экономическое харакире. Удачи.
Vanevilice
Такое ощущение, что в скором времени уже с мощными ЛЛМ, можно будет продолжать более "дешевую" и ускоренную разработку КСС. Как никак и мощности железа увеличиваются, датацентры строятся, рано или поздно снова в потолок архитектуры упремся и нужно будет разрабатывать если не полную альтернативу, то усиление и комбинированные подходы. Мне если честно страшно даже представить какие нас ждут те же ЛЛМ-ки после пары лет работ новых дата центров которые сейчас строят и которые так сильно экономику просадили, что сейчас ни память ни видюху по нормальным ценам не взять.
NeriaLab
Есть один маааленький, но важный нюанс. У КСС дорогая только разработка самого ядра, а стоимость разработки модулей, интеграция, обслуживание и наполнение знаниями, в 5–10 раз ниже, чем у LLM. 99% разработчиков модулей для КСС никогда не лезли в ядро - это и не требуется. Для КСС не требуются топовые видеокарты и GPU, что значительно снижает, до 20 раз (!!!), стоимость покупного оборудования или аренды оборудования. Ну и безопасность - систему нельзя "сломать" промтами (промт-инъекция), есть проактивный этический корпус
leleleonid Автор
Есть такое. Когда мы упремся в потолок масштабирования трансформеров (а это уже близко), гибриды станут неизбежны. Мы просто зашли с другой стороны. Сначала хаос (ллм), потом структура, а не наоборот.
NeriaLab
Уважаемый, вы заблуждаетесь. Нейро-символьные технологии, где символьная часть - это ядро, а LLM - лишь "глаза" (лидары и т.д.) и "мышцы", уже давно и успешно внедряются в критических отраслях:
Neuro-Symbolic Concept Learner (NS-CL) - разработка MIT (лаборатория Джошуа Тененбаума) и IBM;
Safe Autonomy - проект NASA и SoarGroup (КСС Soar);
ACE-TRUST - проект DARPA и SoarGroup (КСС Soar);
IBM Neuro-Symbolic AI (проект в области комплаенса и аудита);
IBM Watson Health / Mayo Clinic - медицина: клинические рекомендации и фармакология;
и т.д. и т.д. и т.д.
Символисты не упираются в том, что даже у нас есть конкуренты и некоторые технологии, в отношении "разума", действительно "наступают нам на пятки". Но наши конкуренты - это другие архитектуры интеллекта, такие как JEPA (Ян ЛеКун), а не "статистические попугаи", которые "сжигают все ресурсы планеты" и не могут гарантировать точность.
leleleonid Автор
Почему JEPA ваш конкурент? Ладно. Я вас услышал, наконец-то на Марс полетим.
NeriaLab
Что объединяет КСС и JEPA:
"ненавидят" "чистые" LLM за их болтливость и ошибки (галлюцинации);
пытаются дать ИИ Здравый Смысл (Common Sense).
В чём противостояние:
борются за одну и ту же вакансию - "управляющее ядро";
конкуренция в области физического взаимодействия;
Логика vs Интуиция;
P.S.: А если все таки полетим на Марс, то я буду одним из первых, кто захочет организовать MCRN ("Expanse")
Flokis_guy
Интересно что это в вашем понимании, хотя скорее всего декодеры, но даже там есть разнообразие. Слишком обобщенно пишете.
Это пытаются дать и openai с google.
snakes_are_long
просто оставлю это тут