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

推荐订阅源

Recorded Future
Recorded Future
Recent Commits to openclaw:main
Recent Commits to openclaw:main
D
DataBreaches.Net
月光博客
月光博客
I
InfoQ
Microsoft Azure Blog
Microsoft Azure Blog
Security Latest
Security Latest
S
SegmentFault 最新的问题
K
Kaspersky official blog
T
Threat Research - Cisco Blogs
V
V2EX
GbyAI
GbyAI
The Last Watchdog
The Last Watchdog
Cyberwarzone
Cyberwarzone
Project Zero
Project Zero
J
Java Code Geeks
Schneier on Security
Schneier on Security
Attack and Defense Labs
Attack and Defense Labs
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
G
Google Developers Blog
WordPress大学
WordPress大学
B
Blog RSS Feed
Hugging Face - Blog
Hugging Face - Blog
H
Help Net Security
MongoDB | Blog
MongoDB | Blog
B
Blog
www.infosecurity-magazine.com
www.infosecurity-magazine.com
博客园 - Franky
Spread Privacy
Spread Privacy
C
CERT Recently Published Vulnerability Notes
H
Hackread – Cybersecurity News, Data Breaches, AI and More
Know Your Adversary
Know Your Adversary
Recent Announcements
Recent Announcements
The GitHub Blog
The GitHub Blog
C
Check Point Blog
Latest news
Latest news
W
WeLiveSecurity
小众软件
小众软件
H
Hacker News: Front Page
P
Privacy & Cybersecurity Law Blog
H
Heimdal Security Blog
博客园 - 叶小钗
N
News | PayPal Newsroom
IT之家
IT之家
P
Proofpoint News Feed
Apple Machine Learning Research
Apple Machine Learning Research
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
T
Tenable Blog
腾讯CDC
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com

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

Ловим музу за клавиатуру: как айтишнику стать автором Что умеет Midjourney в 2026? Мой немного грустный разбор этого шикарного инструмента Никто не любит писать тесты, но ИИ может исправить это IPv8 выглядит как мечта. Поэтому почти наверняка не взлетит Производители вернули в продажу материнки с DDR3. Что происходит? Управление агентом с телефона через Telegram теперь в KodaCode От координации к лидерству: как меняется роль руководителя разработки Я сделала родителям бизнес вместо пенсии: зарабатываем 70 тысяч, мама не даёт продать В три раза быстрее приемка товара и оптимизация трудозатрат на 73%: как «РСТ-Инвент» помог Gulliver Group ИИ-шечный мир победил? О влиянии искусственного интеллекта на игропром Кремль снижает давление на Телеграмм пока Европа строит интернет по паспорту Как CEO, CTO и CIO за 8 часов собрали ИИ-директора, который умеет держать позицию под давлением Как (не) потерять домен за выходные Вместо 8 разных VPS: как я организовал практику студентам на одном сервере Почему твой Open Source проект не замечают? R&D: искусство управления неопределенностью в разработке AI-дефляция: вакансий для разработчиков больше, а рост зарплат — худший за 15 лет Мы отдали управление роботами OpenClaw. Что из этого вышло Галактический ID: система идентификации для всех форм разумной жизни Кто решает судьбу вашего проекта? Разбираем заинтересованные стороны. BABOK #1 Код-ревью, в котором дело не в коде Данные переехали. Команда — нет Системной подход к сдаче OSWE в 2025 Почему комната управления реактором покрашена в цвет морской пены 4 YAML-файла вместо PySpark: как аналитикам строить пайплайны без разработчиков LLM-агент для поиска свободных доменов: автоматизируем подбор Когда, зачем и как правильно начинать новую сессию в Claude Code? Как я заставил нейросеть писать макросы для FreeCAD Анатомия ИИ‑агента для подбора персонала. От тысячи резюме к топ‑10 за минуты Опыт разработчика как экономика внимания Автономность как точка невозврата: кто будет субъектом в цифровом будущем Обучение ИИ в «диких» условиях: как рутинные действия превращаются в датасеты Как измерить LLM для задач кибербеза: обзор открытых бенчмарков Где хранить код? Сравнение GitHub, GitLab и Bitbucket Математика объясняет, почему нормальное распределение встречается повсюду Почему ваш FinOps не работает: 12 тезисов от практиков Как подписать проектную документацию УКЭП с использованием бесплатных лицензий Pilot Адаптивное администрирование Sigla Vision Я грузил уран в бочки, а потом 20 лет строил ИТ в атомной отрасли Чем позвонить с Эвереста? История и обзор спутниковой связи. Часть 2 Как языковая модель помогает контролировать качество инструктажей по охране труда в металлургии Как не передать на desktop свой IP в РКН Анатомия SAP Privileges: как устроено управление правами в macOS MoneyDev: Сказка про три главных слова Обновлённый токенизатор видео K-VAE 2.0 от Сбера Как сделать диспетчеризацию дома на 1284 квартиры почти бесплатно Как мы разогнали железную дорогу Мы дали агентам рутину. Теперь надо решить — что делать с освободившимся временем Токсичный контент, промпт-хакинг и защита ИИ — всё о Guardrails для LLM Умный город начинается с точного взгляда: как «Фалькон Тех» меняет пространство к лучшему Навайбкодил приложение для анализа графов Почему Дюну так интересно читать? Упрощаем работу с рутиной или как стать Гендальфом Белым Деконструкция Go: CPU, RAM и что там происходит. Go Assembler база. Часть 1.1 Какие профессии исчезнут из-за ИИ, а какие появятся? И что с этим делать Как мы построили IT-отдел, где хочется расти: архитектурные встречи, прозрачные метрики и книжные подарки Rufler: Делаем из Claude Code автономный рой через один YAML-конфиг Sing-box и белый список приложений Как построить надёжный обмен сообщениями в микросервисах: лучшие практики для enterprise OpenAI строит MLM-пирамиду, а McKinsey и Accenture помогают ей в этом Дом, который не построил Фишер (Часть 2) «Сверхзвуковой математик» против «Вдумчивого логиста»: битва алгоритмов 3D-упаковки Мультимодальные модели – грубый и дорогой инструмент Разговоры ничего не стоят. Код тоже Проверки физических лиц: с кого начнет ФНС Топ-10 бесплатных нейросетей для создания видео в 2026 году Первые слои кода: как наши решения сегодня определяют архитектуру ИИ на десятилетия Разработка нового статического анализатора: PVS-Studio JavaScript Поиск уязвимостей ПО: базовый минимум или роскошный максимум Почему оценка персонала не работает как инструмент управления Как мы разработали ИИ-ассистента и сократили рутину продуктовой команды на 50% Как я ушел из найма, нажарил косточек и продал на маркетплейсах на 168 млн в год Когда 1С:ERP уже внедрена, а нормального производственного плана всё ещё нет Как я сделал Claude мультимодальным, подключив к нему Qwen Omni Как приглашение на вакансию мечты превращается в атаку Infrastructure as Code: философия и лучшие практики IaC Тестируем Yandex Code Assistant на задаче, в которой нужно хранить секреты nxs-universal-chart v3.0: новое поколение универсального Helm-чарта Callback Injection: Техника, которая отправила Microsoft Defender в глухой нокаут «Все идеи на стол»: митап как способ вывести проект из тупика Сегодня я узнал нечто новое о GPU благодаря багу в своей игре Как заставить LLM ̶ ̶г̶а̶л̶л̶ю̶ ̶ эволюционировать Карта событий как фундамент аналитики: практический кейс для E-commerce Что выбрать для AI: x86, ARM или RISC-V? Дайджест железа за март Роль соматических мутаций в развитии аутоиммунных заболеваний: путь к избирательной терапии Mythos от Anthropic — тревожный сигнал для всех, а не только для банков Guardrails для LLM на Java: как приручить промпт‑инъекции и токсичные ответы Green-VLA: как мы собрали VLA-модель для реального антропоморфного робота и не потеряли обобщение Финансовая гонка вооружений: почему умные люди добровольно в ней участвуют Эра ИИ-агентов наступила: выбираем лучшего цифрового сотрудника # Практический опыт внедрения WinCC Redundancy на производственном предприятии Сделал MVP за 3 дня, а потом неделю прикручивал оплату. Оно того стоило? Физика против Маска: почему Starship V3 может оказаться ещё одной катастрофой Нефть Венесуэлы: крупнейшие запасы в мире, но не крупнейшая нефтяная держава JPA 4. Переосмысление Hibernate Почему зеркальная фотокамера Nikon D5 десятилетней давности идеально подошла для миссии «Артемида-2» Проект «Уровень-Спутник» или как мы сделали платформу для гидрологов «Замедлиться, чтобы ускориться»: почему ИИ повышает цену ошибок в требованиях и архитектуре Как с нуля поднять трафик IT-компании на 1657% при бюджете 55 тыс. и выжить Pixel-perfect Downsampling — идеальная отрисовка 50 миллионов точек без потерь
От языковых моделей к вычислимому мышлению: как SymFSM меняет архитектуру AI-систем
Архипов Владимир · 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-системы более надёжными и прозрачными, если добавить формальный контроль над структурой рассуждения. Проект открыт для экспериментов, критики и совместного развития. Он не даёт готовых ответов на все вопросы, но предлагает один из возможных путей движения от «генераторов текста» к системам с управляемым мышлением.