НИИ СИСТЕМНОГО СИНТЕЗА

Верифицируемый искусственный интеллект. Безусловная мощь — на ваших условиях

  • Доктрина
  • ПРОГРАММА
  • Разработки
    • АГЕНТ · MITR
    • LEX · CORE
    • LEX · FLOW
    • SUDFACT · РЕЕСТР
    • FEDRESURS · СЕРВИС
  • Аналитика
  • Институт
    • Научный руководитель
    • Команда
    • ПАТРОНАЖ
  • Контакты
  • Доктрина
  • ПРОГРАММА
  • Разработки
    • АГЕНТ · MITR
    • LEX · CORE
    • LEX · FLOW
    • SUDFACT · РЕЕСТР
    • FEDRESURS · СЕРВИС
  • Аналитика
  • Институт
    • Научный руководитель
    • Команда
    • ПАТРОНАЖ
  • Контакты
  • Безопасность алгоритмов

    Постквантовая криптография как новый фундамент системного доверия

    Асимметричная криптография, образующая базис современной сетевой безопасности (включая алгоритмы RSA, ECC и схемы согласования ключей Diffie-Hellman), функционально опирается на вычислительную асимметрию односторонних математических функций. Системное доверие к этим протоколам математически обосновано экспоненциальной вычислительной сложностью инвертирования данных функций на классических процессорных архитектурах фон Неймана. В частности, стойкость RSA базируется на задаче факторизации больших простых чисел, где применение общего метода решета числового поля (GNFS) требует затрат времени, описываемых субэкспоненциальной функцией: Аналогично, криптография на эллиптических кривых (ECC) базируется на задаче дискретного логарифмирования. Использование алгоритма ро-метода Полларда для компрометации 256-битных эллиптических кривых также сопряжено с экспоненциальной сложностью Отсутствие субэкспоненциальных атак на ECC исторически делало этот класс алгоритмов оптимальным выбором, позволяя минимизировать размер ключа при…

    Начать анализ

    БИБЛИОТЕКА ИССЛЕДОВАНИЙ

    Когнитивная война ИИ и алгоритмическая цензура

    11 мая, 2026

    Архитектура «Мертвого интернета»

    11 мая, 2026

    Детерминированный верификатор в работе агентов

    29 мая, 2026
  • Системный синтез

    Карта предприятия, по которой проверяют ИИ: граф знаний как субстрат верификации

    Тема: как граф знаний в 2026-м перестал быть про поиск и стал тем, по чему сверяют действия ИИ — и почему это естественный слой для V. В прошлых лонгридах несколько раз всплывал один и тот же вопрос: против чего проверять агента? Само-судейство ненадёжно, формальная проверка требует структуры, а governance-платформы дают разрешения и аудит, но не модель мира. И вот в 2026-м на роль этой модели мира тихо выдвинулся граф знаний — но не в той роли, в какой его привыкли видеть. Раньше граф знаний был про поиск: достать релевантные факты, связать сущности, помочь ретриву. Теперь он берёт на себя другую работу — быть тем, по чему ИИ сверяют. Разберём этот…

    Начать анализ

    БИБЛИОТЕКА ИССЛЕДОВАНИЙ

    Claude Mythos: как ИИ переписал поиск уязвимостей

    1 июня, 2026
    Многостраничные документы на тему системного синтеза в ИСС.

    Верифицируемый ИИ в российском регулировании 2026–2027

    29 мая, 2026

    Думать дольше — не значит умнее: новая ось масштабирования и её цена

    10 июня, 2026
  • Системный синтез

    Recursive Language Models: модель, которая не читает документ — она его опрашивает

    Любой, кто гонял Claude Code или Cursor по большому репозиторию, знает этот момент. Сначала всё бодро. Потом контекст распухает — и модель начинает плыть: путает файлы, теряет нить, забывает, что было сказано в начале. Качество не обрывается, оно протекает. Тихо и незаметно. У этого даже есть имя — context rot. Последние два года индустрия делала вид, что лечит болезнь размером окна. 8 тысяч токенов, 128 тысяч, миллион. Но больше окно — не значит, что модель им пользуется. Засунь в начало миллионного промпта важный факт, спрячь второй в середине, и модель честно провалит обоих. Это известный эффект, «lost in the middle». Окно росло, а внимание оставалось дырявым. И вот на этом…

    Начать анализ

    БИБЛИОТЕКА ИССЛЕДОВАНИЙ

    От ассистента к штату: зачем ИИ-агентам понадобилось начальство

    15 июня, 2026

    Формальная верификация ПО и ИИ

    6 мая, 2026
    Многостраничные документы на тему системного синтеза в ИСС.

    Верифицируемый ИИ в российском регулировании 2026–2027

    29 мая, 2026
  • Системный синтез

    От ассистента к штату: зачем ИИ-агентам понадобилось начальство

    Два года все говорили про чат. Один умный ассистент, одно окно: ты пишешь — он отвечает. А в начале 2026-го крупные игроки тихо сменили ставку. Будущее корпоративного ИИ — это не окно, а штат. Десятки агентов, у каждого свои права, свой доступ к системам, своя работа. И как только агентов становится много, вылезает скучная, как мир, истина: штатом надо управлять. Звучит банально — пока не упрёшься в цифру. До 95% корпоративных ИИ-пилотов не дают внятной бизнес-пользы. Не потому что модели слабые: модели как раз сильные. А потому что один агент в вакууме ничего не решает. Ему нужен доступ к CRM, к хранилищу, к тикетам. Ему нужно не мешать соседним агентам.…

    Начать анализ

    БИБЛИОТЕКА ИССЛЕДОВАНИЙ

    Защита информации и информационная безопасность в Российской Федерации

    20 января, 2026

    Конец SaaS? Почему Enterprise возвращается к On-Premise

    16 декабря, 2025

    Карта предприятия, по которой проверяют ИИ: граф знаний как субстрат верификации

    16 июня, 2026
  • Системный синтез

    Уговорить или доказать: чем мягкая проверка агентов отличается от жёсткой

    У любого, кто строит на ИИ, рано или поздно встаёт один и тот же вопрос: как понять, что агент выдал хорошо? Прочитать всё руками невозможно — миллион ответов в день человек не вычитает. И тут напрашивается соблазнительно простое решение: пусть одна модель проверяет другую. Это и есть «LLM-as-judge». Идея захватила индустрию почти мгновенно, и неспроста. Но за два с лишним года накопилось ровно столько данных о том, где она ломается, что в 2026-м рядом громко поднялась вторая школа — не уговорить модель согласиться, а математически доказать. Разница между этими двумя подходами и есть, по сути, твоя поляна. Так что разберём оба края честно. Соблазн отдать проверку самой модели Стартовая точка…

    Начать анализ

    БИБЛИОТЕКА ИССЛЕДОВАНИЙ

    Реестр лицензиатов ФСТЭК: СЗКИ и ТЗКИ

    22 января, 2026
    ст. 274.1 УК РФ

    Ст. 274.1 УК РФ: глубокий анализ правоприменительной практики и системных рисков

    24 января, 2026

    КИИ для IT-компаний: когда вы субъект и что делать (Гайд без воды)

    20 января, 2026
  • Системный синтез

    Хороший ИИ на одной карте: тихая революция сжатия

    Тема: efficiency-инференс — квантизация весов и сжатие KV-кэша. Менее шумная, чем релизы моделей, но именно она решает, влезет ли хорошая модель в одну видеокарту. Прямо про твой полигон. Пока все считали параметры — у кого триллион, у кого больше, — тихо сместился сам вопрос. Гонка «чей мозг крупнее» упёрлась в стоимость, и реальным фронтом стало другое: как заставить хорошую модель работать дёшево. Не построить датацентр, а уложиться в то железо, что есть. И вот тут за 2025–2026 годы накопилось столько, что отдельный лонгрид напрашивается сам. Сжимать можно в двух местах. Веса модели — чтобы она вообще влезла в память. И KV-кэш — чтобы она тянула длинный контекст и много запросов,…

    Начать анализ

    БИБЛИОТЕКА ИССЛЕДОВАНИЙ

    ГОСТ Р 71657-2024 и новая эра ответственности CISO: Полный гид по нормативной трансформации 2025–2026 годов

    20 января, 2026

    Импортозамещение на КИИ: глобальный отчет о сроках, требованиях и практике правоприменения (2025–2030)

    20 января, 2026

    Постановление Правительства РФ № 1762 от 07.11.2025

    24 января, 2026
  • Системный синтез

    Думать дольше — не значит умнее: новая ось масштабирования и её цена

    Тема: inference-time scaling и адаптивное рассуждение — та самая ось «вычисления на генерации = интеллект», на которой стоял RLM, только теперь во весь рост и со своими подводными камнями. Несколько лет рост ИИ означал одно: больше параметров, больше данных, больше вычислений на обучении. Потом эта кривая начала выполаживаться — каждый новый кусок данных приносит всё меньше уникального, отдача тает. И индустрия открыла вторую ось: добавлять вычисления не на обучении, а на генерации. Дать модели подумать дольше — и она решит то, что не решала с первого захода. Звучит как чистая победа. На практике оказалось, что у «подумать ещё» есть точка, после которой становится хуже. Разберём и саму идею, и её…

    Начать анализ

    БИБЛИОТЕКА ИССЛЕДОВАНИЙ

    ГосСОПКА

    ГосСОПКА 2026–2027

    24 января, 2026

    Cкрытая угроза LLM для банковского скоринга, LegalTech и медицины

    5 мая, 2026

    Реестр лицензиатов ФСТЭК: СЗКИ и ТЗКИ

    22 января, 2026
  • Системный синтез

    ИИ-агент: от советчика к исполнителю

    Куда на самом деле идёт искусственный интеллект — и почему рынок видит игрушки, а не завод. Со стороны кажется, что искусственный интеллект — это чат-боты и маркетинг. Спросил — ответил, написал текст, нарисовал картинку. Скепсис понятен: именно это пока на виду. Но на виду — самый край, а не суть. Суть — в одном сдвиге, который меняет не интерфейс, а саму природу софта: переход от советчика к исполнителю. Чат-бот советует. Агент делает Чат-бот — это советчик. Ты спрашиваешь, он отвечает, а делаешь всё равно ты сам. Агент — исполнитель: он сам бронирует, оформляет, платит, договаривается, запускает процессы. Разница как между консультантом, который рассказывает, что надо сделать, и подрядчиком, который берёт…

    Начать анализ

    БИБЛИОТЕКА ИССЛЕДОВАНИЙ

    Исключение из реестра КИИ 2026–2027

    22 января, 2026

    Проблема согласования ИИ

    6 мая, 2026

    Claude Mythos: как ИИ переписал поиск уязвимостей

    1 июня, 2026
  • Системный синтез

    Claude Mythos: как ИИ переписал поиск уязвимостей

    Десять лет в безопасности спорили теоретически: когда ИИ всерьёз сдвинет равновесие между атакой и защитой? Фаззинг с ИИ, статический анализ с машинным обучением, ревью кода через языковые модели — всё это были постепенные улучшения, не смена категории. В апреле 2026-го разговор перестал быть теоретическим. Anthropic показала модель, которая находит уязвимости сама. И не просто находит — строит к ним рабочие эксплойты без участия человека. А потом отказалась выкладывать её в открытый доступ — именно из-за этих способностей. Разберём, что произошло, какого масштаба находки, какую тревожную деталь там нашли — и почему это твоя тема сразу с нескольких сторон. Что случилось в апреле 7 апреля 2026-го Anthropic представила Claude Mythos Preview…

    Начать анализ

    БИБЛИОТЕКА ИССЛЕДОВАНИЙ

    Институт системного синтеза, технологический прогресс, автоматизация, инновации.

    Приказ ФСТЭК №117

    17 января, 2026

    КИИ для IT-компаний: когда вы субъект и что делать (Гайд без воды)

    20 января, 2026

    Конец SaaS? Почему Enterprise возвращается к On-Premise

    16 декабря, 2025
  • Безопасность алгоритмов

    Детерминированный верификатор в работе агентов

    На момент подготовки настоящего материала завершился этап очарования генеративными моделями (GenAI 1.0), выступавшими в роли пассивных советников или инструментов помощи в написании кода и текстов. Наступила эра GenAI 2.0 — эпоха агентного искусственного интеллекта (Agentic AI). Этот переход от систем, генерирующих ответы на изолированные запросы, к агентам, способным автономно планировать многошаговые действия, принимать решения в реальном времени, использовать корпоративные инструменты и адаптироваться к изменяющимся условиям среды, кардинально изменил ландшафт корпоративных технологий. Однако этот технологический скачок обнажил критическую архитектурную уязвимость: вероятностные системы, построенные на стохастической логике больших языковых моделей (LLM), начали массово внедряться в строго детерминированные бизнес-процессы без адекватных механизмов контроля и сдерживания. Результатом стал беспрецедентный разрыв между темпами технологического развертывания…

    Начать анализ

    БИБЛИОТЕКА ИССЛЕДОВАНИЙ

    Постквантовая криптография как новый фундамент системного доверия

    21 июня, 2026

    Архитектура «Мертвого интернета»

    11 мая, 2026

    Когнитивная война ИИ и алгоритмическая цензура

    11 мая, 2026
123

Поиск по архиву

Рубрики

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

Свежие записи

  • Постквантовая криптография как новый фундамент системного доверия
  • Карта предприятия, по которой проверяют ИИ: граф знаний как субстрат верификации
  • Recursive Language Models: модель, которая не читает документ — она его опрашивает
  • От ассистента к штату: зачем ИИ-агентам понадобилось начальство
  • Уговорить или доказать: чем мягкая проверка агентов отличается от жёсткой
© 2026 ИНСТИТУТ СИСТЕМНОГО СИНТЕЗА