惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

大猫的无限游戏
大猫的无限游戏
云风的 BLOG
云风的 BLOG
小众软件
小众软件
V
V2EX
博客园 - Franky
博客园 - 司徒正美
Apple Machine Learning Research
Apple Machine Learning Research
量子位
博客园 - 【当耐特】
雷峰网
雷峰网
WordPress大学
WordPress大学
Jina AI
Jina AI
Google DeepMind News
Google DeepMind News
N
Netflix TechBlog - Medium
爱范儿
爱范儿
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
阮一峰的网络日志
阮一峰的网络日志
IT之家
IT之家
Blog — PlanetScale
Blog — PlanetScale
Hugging Face - Blog
Hugging Face - Blog
H
Hackread – Cybersecurity News, Data Breaches, AI and More
V
Visual Studio Blog
Microsoft Security Blog
Microsoft Security Blog

Все публикации подряд на Хабре

Ловим музу за клавиатуру: как айтишнику стать автором Что умеет Midjourney в 2026? Мой немного грустный разбор этого шикарного инструмента Никто не любит писать тесты, но ИИ может исправить это IPv8 выглядит как мечта. Поэтому почти наверняка не взлетит Производители вернули в продажу материнки с DDR3. Что происходит? Управление агентом с телефона через Telegram теперь в KodaCode От координации к лидерству: как меняется роль руководителя разработки Я сделала родителям бизнес вместо пенсии: зарабатываем 70 тысяч, мама не даёт продать В три раза быстрее приемка товара и оптимизация трудозатрат на 73%: как «РСТ-Инвент» помог Gulliver Group ИИ-шечный мир победил? О влиянии искусственного интеллекта на игропром Кремль снижает давление на Телеграмм пока Европа строит интернет по паспорту Как CEO, CTO и CIO за 8 часов собрали ИИ-директора, который умеет держать позицию под давлением Как (не) потерять домен за выходные Вместо 8 разных VPS: как я организовал практику студентам на одном сервере Почему твой Open Source проект не замечают? R&D: искусство управления неопределенностью в разработке AI-дефляция: вакансий для разработчиков больше, а рост зарплат — худший за 15 лет Мы отдали управление роботами OpenClaw. Что из этого вышло Галактический ID: система идентификации для всех форм разумной жизни Шесть основ бизнес-анализа: начинаем с вопроса «Кто в игре?» Код-ревью, в котором дело не в коде Данные переехали. Команда — нет Системной подход к сдаче OSWE в 2025 Почему комната управления реактором покрашена в цвет морской пены 4 YAML-файла вместо PySpark: как аналитикам строить пайплайны без разработчиков LLM-агент для поиска свободных доменов: автоматизируем подбор Когда, зачем и как правильно начинать новую сессию в Claude Code? Как я заставил нейросеть писать макросы для FreeCAD Анатомия ИИ‑агента для подбора персонала. От тысячи резюме к топ‑10 за минуты Опыт разработчика как экономика внимания
От языковых моделей к вычислимому мышлению: как SymFSM ме...
Архипов Владимир · 2026-06-14 · via Все публикации подряд на Хабре

Когда LLM перестаёт быть «генератором текста»

Современные языковые модели умеют многое: писать код, объяснять сложные вещи, строить планы, рассуждать. Но фундаментально они остаются вероятностными генераторами текста.

Даже самые продвинутые агентные системы и RAG-подходы не меняют этого факта:

  • RAG добавляет внешнюю память

  • агенты добавляют последовательность действий

  • цепочки рассуждений добавляют промежуточные шаги

Но всё это всё ещё работает поверх одного ядра — свободной генерации текста без формального контроля структуры мышления.

SymFSM предлагает другой путь.

Не «сделать модель умнее», а сделать мышление вычислимым объектом.

Основная идея: LLM не думает — она заполняет структуру

В SymFSM языковая модель не управляет процессом. Она работает внутри заранее построенного когнитивного пространства, где:

  • есть состояния мышления

  • есть переходы между ними

  • есть ограничения на допустимые шаги

  • есть проверка корректности структуры

Иными словами: LLM здесь — не мозг системы, а интерпретатор внутри формальной машины мышления.

Где здесь автоматы и зачем они вообще нужны

В основе SymFSM лежит идея конечных автоматов.

Но не в классическом учебном смысле, где автомат — это строка состояний для парсинга.
Здесь автомат — это модель когнитивного процесса.

Каждый этап работы системы (анализ задачи, построение структуры, проверка, исправление, генерация) представлен как управляемый автомат с жёсткими переходами. Это даёт ключевое свойство: система не может «думать как угодно» — она может двигаться только по допустимым траекториям мышления.

Если сравнить с LLM:

  • LLM: «генерируй следующий токен»

  • SymFSM: «перейди в следующее состояние мышления, если выполнены условия структуры»

Это радикально меняет поведение системы:

  • исчезают неконтролируемые логические скачки

  • уменьшается число «красивых, но пустых» объяснений

  • появляется возможность проверять сам процесс рассуждения, а не только результат

Ключевая архитектура SymFSM

Система устроена как последовательность уровней обработки:

  1. интерпретация задачи

  2. построение когнитивной карты

  3. проверка структуры рассуждения

  4. стратегия исправления

  5. генерация ответа через LLM

  6. верификация результата

  7. накопление опыта

Важно: это не цепочка промптов. Это графовая вычислительная модель задачи.

Когнитивная карта: главное отличие от RAG и агентов

Если RAG работает как:

вопрос → поиск → контекст → ответ

то SymFSM работает иначе:

вопрос → структура задачи → граф смыслов → проверка связности → ремонт → генерация → верификация

Ключевое отличие — наличие промежуточного объекта мышления. Это не текст и не вектор. Это граф:

  • узлы — концепты

  • связи — зависимости

  • цели — достижимые состояния

  • разрывы — ошибки модели понимания

И самое важное: если цель не достигается из известных фактов — система не «додумывает», а фиксирует разрыв.

Почему это ломает привычную логику LLM-систем

Обычные подходы решают проблему недостатка знаний через увеличение контекста, добавление документов, расширение промптов, повторную генерацию.

SymFSM решает иначе: если структура мышления некорректна — ответ невозможен в текущей конфигурации задачи. Это звучит жёстко, но даёт важное свойство: система перестаёт «уверенно ошибаться».

Repair-механика: ошибки становятся частью вычисления

Одна из ключевых идей SymFSM — ошибки не скрываются и не маскируются. Они превращаются в объект обработки.

Если структура задачи:

  • неполная

  • противоречивая

  • слишком абстрактная

— система не продолжает генерацию. Она запускает режим ремонта:

  • уточняет недостающие элементы

  • перестраивает зависимости

  • ограничивает пространство гипотез

  • может полностью изменить структуру задачи

Это принципиально отличается от LLM, где ошибка обычно просто «размазывается» по следующему ответу.

Почему это не RAG и не агентная система

RAG:

  • ищет факты

  • добавляет контекст

  • не понимает структуру задачи

Агентные системы:

  • разбивают задачу на шаги

  • запускают цепочки действий

  • часто теряют глобальную целостность

SymFSM:

  • строит формальную модель задачи

  • проверяет её достижимость

  • управляет допустимыми переходами мышления

  • исправляет структуру до генерации

Ключевая разница: агенты управляют действиями, SymFSM управляет пространством мышления.

Как выглядит работа системы с точки зрения пользователя

Пользователь не взаимодействует с автоматами, графами или состояниями. Он просто пишет запрос:

  • придумай продукт

  • объясни явление

  • проанализируй систему

  • предложи архитектуру

  • сравни подходы

Дальше происходит скрытый цикл:

  1. система понимает тип задачи

  2. строит внутреннюю структуру

  3. проверяет логическую связность

  4. исправляет ошибки понимания

  5. только потом запускает LLM

  6. затем проверяет результат

Пользователь получает обычный текст. Но путь к нему — уже не «свободная генерация», а контролируемый процесс вычисления смысла.

Самообучение: не модель, а процесс

Важно подчеркнуть: SymFSM не «дообучает нейросеть» в классическом смысле. Он обучает способы решения задач.

После выполнения задач система сохраняет структуру рассуждения:

  • какие стратегии использовались

  • какие структуры приводили к успеху

  • где возникали ошибки

  • какие паттерны оказались устойчивыми

Со временем это формирует:

  • библиотеку когнитивных шаблонов

  • статистику успешных стратегий

  • предпочтительные маршруты рассуждения

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

Чем это отличается от «умных промптов» и цепочек рассуждений

Prompt engineering и chain-of-thought:

  • улучшают текст

  • но не контролируют структуру мышления

  • не гарантируют связность

  • не проверяют достижимость вывода

SymFSM:

  • контролирует структуру

  • проверяет логическую достижимость

  • ремонтирует рассуждение

  • накапливает опыт работы с задачами

Где это особенно полезно

Такая архитектура особенно эффективна там, где важны не «красивые ответы», а корректные структуры:

  • проектирование систем

  • инженерный анализ

  • бизнес-архитектура

  • исследовательские задачи

  • сложное планирование

  • анализ причинно-следственных цепочек

  • построение решений с ограничениями

Важный сдвиг: от текста к вычислимому мышлению

Главная идея SymFSM не в том, чтобы заменить LLM. И не в том, чтобы добавить ещё один слой агентов. А в том, чтобы изменить сам объект обработки: вместо генерации текста система работает с формализованной структурой мышления.

Это переводит LLM из категории «генераторов ответов» в категорию «исполнителей внутри вычислимой когнитивной модели».

Как попробовать SymFSM прямо сейчас?

Если вы хотите не просто почитать, а поэкспериментировать с системой самостоятельно, это очень просто.

  1. Скачайте на сайте архив с программой: https://principium.pro/ru/symfsm-2/

Можно бесплатно тестировать.

Зачем?

SymFSM — это попытка сделать следующий шаг после LLM и агентных систем:

  • от текста → к структурам

  • от агентов → к автоматам

  • от вероятности → к ограниченному вычислению мышления

  • от генерации → к проверяемому процессу вывода

И если коротко:

это не система, которая пишет лучше текст
это система, которая сначала заставляет мышление стать корректным — и только потом позволяет ему быть выраженным словами

Если развивать эту линию дальше, логичное направление — объединение автоматов мышления, формальных проверок и языковых моделей как генераторов внутри структуры. Это уже не просто AI-инструменты. Это переход к инженерии процессов мышления как программируемой системы.

SymFSM не претендует на AGI и не пытается решить проблему общего искусственного интеллекта. Это исследовательский проект, который проверяет гипотезу: можно ли сделать LLM-системы более надёжными и прозрачными, если добавить формальный контроль над структурой рассуждения. Проект открыт для экспериментов, критики и совместного развития. Он не даёт готовых ответов на все вопросы, но предлагает один из возможных путей движения от «генераторов текста» к системам с управляемым мышлением.