Сотрудничество с институтом начинается с письма его научному руководителю.
Написать научному руководителюЮридический паспорт
Автономная некоммерческая организация (АНО) «Научно-исследовательский институт (НИИ) системного синтеза» (краткое уставное наименование — АНО «НИИ Системного синтеза»).
Основной государственный регистрационный номер (ОГРН) 1267700083617, идентификационный номер налогоплательщика (ИНН) 9731161602, код причины постановки на учёт (КПП) 773101001.
Юридический адрес местонахождения организации: 121352, город Москва, улица Давыдковская, дом 18, помещение VIII, Российская Федерация.
Институт зарегистрирован 12 марта 2026 года (решение об учреждении — 9 декабря 2025 года) для научных исследований и коммерциализации их результатов; основной вид деятельности — научные исследования и разработки.
Научный руководитель — Фищук Александр Алексеевич
Предмет работы
Институт исследует устройство управляемого перехода: каким образом автономные системы искусственного интеллекта работают под надзором организаций и государства, сохраняя практическую пользу и не разрушая правовой порядок, в который их встраивают.
Предметная область соединяет три классических направления: формальную верификацию вычислительных систем, устройство корпоративного и государственного нормативного контроля, а также методологию управления автономными многоагентными системами, для которых институт выстраивает общую расчётную основу.
Имя института называет метод, которым он работает: требования, исключающие друг друга в одной точке, разносятся по разным координатам системы без взаимного усреднения. Процедура, обязательный выход каждого шага, условия отказа и границы метода изложены отдельно.
→ Полное изложение исследовательской позиции — в разделе «Доктрина»
Три направления работы
Деятельность института строится по трём направлениям, которые работают как единая исследовательская программа. Виды деятельности по общероссийскому классификатору видов экономической деятельности (ОКВЭД) включают коды 72.19 (научные исследования и разработки, основной), 62.01 и 62.09 (разработка программного обеспечения и деятельность в области информационных технологий).
Исследование
Предмет исследования — организация, в которой регулярные операции исполняют программные агенты под управлением правил. Детерминированные автономные системы и соблюдение нормативных требований по построению образуют здесь одно поле научной новизны на стыке строгой верификации и управляемой автономии.
Технология
Разработка программных компонентов стека: оркестрация автономного корпуса, встраивание проверки решателями выполнимости в теориях (SMT) и размещение всех узлов внутри защищённой площадки заказчика.
Передача знания
Книга, прикладные разборы и доклады для корпоративных заказчиков и государственных ведомств охватывают устройство организации с программными агентами, требования Федерального закона № 187-ФЗ и приказа Федеральной службы по техническому и экспортному контролю (ФСТЭК России) № 117, а также формальные методы управления.
Все семь направлений работы института — для кого каждое, что получает человек или организация и с чего начать — собраны на странице «Направления работы».
Как устроен институт
Организация без штата исполнителей
Институт устроен как система управления с обратной связью по модели жизнеспособной системы Стаффорда Бира (Viable System Model). В институте эта схема принята за образец организации, в которой операционное исполнение с самого начала передано вычислительным машинам. За научным руководителем на уровне политики (S5) остаётся то, что нельзя отчуждать: целеполагание, ценности и правовая ответственность, и это единственное, что в институте не передано машинам.
Жизнеспособность измеряется тем, замкнуты ли пять функций: операции, координация, контроль, разведка и политика. Их держат четыре автономных рабочих звена и один человек на уровне политики. Один человек здесь — сознательное решение: всё повторяемое исполняют и проверяют машины, человек ставит цели и несёт правовую ответственность.
Знание лежит в своде правил и в журналах, а не в головах сотрудников, поэтому исполнение метода не зависит от того, кто сидит за клавиатурой, а ответственность не делится: у метода один автор.
Кибернетическая модель
Пять систем Бира — и чем они исполнены
Модель жизнеспособной организации (VSM) Стаффорд Бир вывел из устройства центральной нервной системы, и на приведённой ниже схеме института каждый функциональный блок реализован работающей программой со своей замкнутой обратной связью.
Уровень S5: человек
Управляющий узел
В жизнеспособной кибернетической системе человеку принадлежит исключительно то, что невозможно передать формальному алгоритму: смысл, ценности и право; все повторяемые операции исполняют и проверяют детерминированные программы.
Научный руководитель
На этом уровне сосредоточены цели, стратегия, выбор в спорных случаях, правовая ответственность и соблюдение законодательных требований, поскольку толкование правовой нормы и юридически значимое решение всегда остаются за человеком.
Система 1: операции
Четыре рабочих звена
Рабочее звено — единица рекурсии: по Биру каждая жизнеспособная система состоит из жизнеспособных систем. В каждом звене пара: исполнитель делает работу, независимый наблюдатель только читает и оценивает. Так в теории управления разделяют управление и оценку. Наблюдатель работает на модели другого разработчика, его ошибки не совпадают с ошибками исполнителя, и «договориться» они не могут.
Исследования
Устройство машинной честности: утверждение системы не может быть сильнее его основания. У каждого факта записано происхождение, проверки детерминированы, выводы сверяют независимые модели. Любую выявленную ошибку исправляют изменением инженерного устройства системы, исключающим повторение всего класса сбоев.
Наблюдатель проверяет три уровня: продукт, измерительные программы и выводы самого исполнителя. Служба независимого наблюдения работает только в режиме чтения без права записи в рабочие хранилища.
Продукты
Звено ведёт пользовательские сервисы целиком от исходного кода и сборки до выкладки и приёма оплаты, причём каждое обновление проходит через резервную копию, приборную проверку и сквозной журнал клиентских событий.
Наблюдатель проверяет продукты, собирает справочные корпуса и обслуживает связь между рабочими машинами; в продукты он не пишет.
Контроль
Сквозная сверка обязательств, сторожевые программы с плановым сигналом исправности, ежедневные контрольные снимки, реестры и проверка их согласованности. Строит общие пути для остальных звеньев: резервные копии, защищённые каналы, порядок выкладки. Основное правило этого звена требует приборно проверять первичный технический источник вместо текстового отчёта исполнителя.
Наблюдатель проверяет зону контроля и сами измерительные программы: прибор, который никто не проверяет, считается неисправным. Служба независимого наблюдения работает только в режиме чтения без права записи в рабочие хранилища.
Нормы
Четвёртое звено переводит внешние регуляторные требования в формальные спецификации, ведёт единый свод проверяемых фактов и выявляет расхождения заявленного с фактическим; итоговую правовую оценку даёт человек на уровне S5.
Наблюдатель проверяет нормативную работу по той же схеме: независимо и только чтением.
Обратная связь
Петли, которые держат систему
Поскольку записанное на бумаге правило само себя не исполняет, каждое организационное требование института воплощено в действующий программный механизм, для которого расхождение с нормой означает немедленный отказ.
Учёт: разрыв — это отказ
Сквозной финансовый и технический учёт автоматически сверяет каждую цепочку от обязательства и оплаты до доказательства исполнения, поднимая сигнал тревоги только при разрыве связности данных.
Сторож, который молчит, неотличим от зависшего
Сторожевой узел, подающий сигнал только при аварии, неотличим от зависшего процесса, поэтому сторожевые программы института регулярно отправляют плановые контрольные импульсы, исчезновение которых само становится сигналом тревоги.
Реестры вместо совещаний
Состав системы (серверы, сайты, агенты, зоны ответственности) записан в машинных реестрах. Программа связности сверяет их при каждом входе в работу: расхождение — отказ, сущность без владельца не существует.
Одна рука за раз
У каждой зоны один владелец с правом записи; чужую зону передают только формально. Каждое изменение рабочего сайта или сервиса идёт одним порядком: резервная копия, правка, проверка, сверка на живой системе, автоматический откат при сбое.
Журнал, который нельзя переписать
Все проектные решения фиксируются под учётными номерами в пополняемых журналах, а каждая рабочая смена оставляет следующей формальную точку входа, благодаря чему система сохраняет точную память без искажений задним числом.
Самоотчёт — не доказательство
Сообщение программы об успешном завершении не приравнивается к выполненной работе: приёмка проверяет исключительно живой первоисточник на сервере, запись в базе данных и контрольную сумму доставленного файла по правилу принудительной приборной сверки.
Метод
Теория решения изобретательских задач (ТРИЗ): целеполагание
Инженерное планирование в институте строится от конечного целевого результата (ИКР по методу Генриха Альтшуллера), когда громоздкая надстройка отсутствует, а необходимая функция выполняется полностью; каждая задача обязана двигать один из таких рубежей.
ИКР корпорации
Предельный целевой результат описывает организацию, которая функционирует без ручной операционной рутины, самостоятельно исполняя и проверяя рабочие циклы по подписанным правилам, а за человеком остаётся роль автора смысла, ценностных границ и правовых инвариантов.
Разрешать противоречие вместо выбора меньшего зла
Противоречие «строгость контроля против полезности продукта» решается без компромисса: пороги настраиваются по эталонам заведомо хорошего и заведомо плохого, и проверка встаёт в разрыв между ними. Тем самым постоянный компромисс заменяется точным разнесением проверок во времени и пространстве.
Факты не правим, правим механизм
Ошибку системы исправляет более глубокое устройство: происхождение каждого факта, проверка, воспроизводимый вывод. Временная заплатка лишь маскирует отдельный сбой, а перестроенный механизм закрывает весь класс ошибок.
Масштабирование делением
Новое направление — новая жизнеспособная клетка: пара исполнителя и наблюдателя со своими петлями, своим ИКР и местом в реестрах. Благодаря этому общая структура масштабируется последовательным делением однотипных управляемых ячеек.
Горизонт
Организация следующего технологического периода
Институт выстраивает организационную форму следующего технологического периода: корпорацию, в которой исполнение с самого начала отдано машинам, а человек занимает место, где задаётся смысл.
Тезис института: когда стоимость исполнения падает к нулю, ценность смещается в целеполагание, проверяемость и ответственность, то есть в структуру, которая умеет доказывать, что делает то, что заявляет: каждая цифра выводится из первоисточника, каждый отказ слышен, каждое решение подписано.
Отсутствие традиционного административного штата выступает здесь прямым следствием конструкции, поскольку по модели Стаффорда Бира жизнеспособность определяется полнотой замкнутых петель обратной связи. Все пять систем VSM в институте исполнены и проверяемы; человеку в них оставлена ровно та часть, которую нельзя и не нужно автоматизировать.
Проверяемость конструкции обеспечивается приборно: конкретные измерения с датами и командами повтора сведены на странице «Инвесторам и партнёрам», а открытый журнал решений исследовательского ядра на asi5.ru/console ведётся только на добавление в криптографической цепи по алгоритму безопасного хеширования SHA (вариант SHA-256), целостность которой любой ревизор пересчитывает самостоятельно без обращения к разработчику.
Корпорация-инструмент
Человек участвует в каждой отдельной операции, а языковые модели служат лишь вспомогательным ускорителем ручного труда; так работает большинство современных проектных команд.
Корпорация-автопилот
Операционное исполнение и перекрёстный контроль замкнуты в автоматические машинные петли, а человек вмешивается только при разборе нештатных исключений и постановке новых целей.
Сама ставит себе задачи
Испытательный стенд самостоятельно выявляет пробелы в правилах и формирует проекты новых защитных контрактов, оставляя за человеком исключительную роль автора смысла и нормативных границ.
Что уже сделано
С 24 апреля 2026 года работает MITR: он проверяет действия автономных программных агентов до исполнения, и с 24 октября все 20 его контрактов — в режиме запрета. Выпущены открытые пакеты для разработчиков, испытатель INDRA прошёл приёмку на внутреннем стенде, вышла книга научного руководителя «Доказанное действие», поданы две заявки на изобретения. Числа с датами замеров и способы их проверить — на страницах «Разработки» и «Инвесторам и партнёрам».
Связанные ресурсы
Прикладные сервисы института, на корпусах которых испытывается метод. Иных юридических лиц у института нет; статус каждого сервиса приведён на дату проверки.
| Сервис | Что делает | Состояние на 27 октября 2026 года |
|---|---|---|
| SUDFACT | анализ судебной практики: 14 899 судебных актов с раскрытием статистики до карточки дела | работает; замер корпуса 25.10.2026 |
| Расчёт государственной пошлины | расчёт пошлины по Налоговому кодексу Российской Федерации | работает |
| Федресурс (fedresurs.org) | публикация обязательных сведений в Федресурсе | работает |
| «Юридика» | правовая линия с локальными моделями внутри периметра | приостановлена решением института; возобновление — по решению инвестора |
Открытость к сотрудничеству
Институт выстраивает сотрудничество с тремя кругами партнёров: с владельцами объектов критической информационной инфраструктуры и регулируемых производств, с профильными инвесторами и с академическими научными учреждениями.
Роли партнёров и порядок входа в проект изложены на страницах «Партнёрам» и «Инвесторам и партнёрам».
Институт открыт для научного сотрудничества с высшими учебными заведениями, отраслевыми академиями и научными институтами системы Российской академии наук. Формат — совместные исследовательские программы, экспертные советы, участие в диссертационных работах по профильным направлениям.
Проверено: 25.10.2026 — реквизиты и виды деятельности по выписке из ЕГРЮЛ, действие названных актов по первоисточникам.