Исследования

Исследования, которые становятся инфраструктурой.

Thyn Research изучает системные задачи, стоящие за локальным интеллектом, автономным ПО, рыночными движками и верифицируемым исполнением.

Программа исследований.

Направление 01
Системы локального интеллекта

Сколько когнитивных вычислений можно выполнять рядом с пользователем?

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

  • Маршрутизация и планирование моделей на устройстве.
  • Приватные контекстные окна и хранилища памяти.
  • Каскады моделей с учётом задержки.
Направление 02
Верификация агентов

Как автономные системы доказывают, что поступили правильно?

Надёжным агентам нужны не только вызовы инструментов. Им нужны трассы, политики, инварианты, проверяемые планы и восстановление после сбоев.

  • Верификация планов и семантика отката.
  • Регрессионные стенды для поведения агентов.
  • Исполнение с ограничениями по политикам.
Направление 03
Рыночный интеллект

Как ИИ должен рассуждать внутри состязательных рынков?

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

  • Симуляция стратегий исполнения.
  • Оценка с учётом микроструктуры рынка.
  • Автономные действия с ограничением рисков.
Направление 04
Криптографическое исполнение

Что программное обеспечение должно уметь доказывать?

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

  • Верифицируемые журналы и системы воспроизведения.
  • Доказательства политик для финансовых процессов.
  • Самостоятельно размещаемые границы доверия.
Направление 05
Системы роста

Может ли маркетинг стать экспериментальной системой управления?

Автономные системы роста объединяют генерацию креативов, атрибуцию, дизайн экспериментов, распределение бюджета и ограничения по политикам.

  • Циклы каузальной атрибуции.
  • Генерация контента с учётом ограничений бренда.
  • Симуляция и оптимизация кампаний.

Стиль исследований.

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

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

1. измеримая рабочая нагрузка
2. явное ограничение
3. воспроизводимый базовый уровень
4. путь к продукту
5. анализ отказов

Иначе это всего лишь нарратив.

Заметки об исследованиях.

Заметка

Интеллект с учётом задержки

Почему ИИ-продуктам нужны бюджеты задержки, а не только бенчмарки моделей. Модель с хорошими офлайн-результатами всё равно может ощущаться сломанной, если полный цикл не укладывается во время, которое пользователь реально готов ждать.

Заметка

Воспроизводимые агенты

Фреймворк для трасс, детерминированных тестов и анализа отказов в автономных процессах. Когда каждое действие воспроизводимо, неудачный запуск становится воспроизводимым кейсом, а не разовой загадкой.

Заметка

Циклы рыночной симуляции

Как движки исполнения могут оценивать стратегии до выхода в живые среды. Симуляция на историческом и синтетическом потоке заявок выявляет риск и проскальзывание, пока ошибки ещё ничего не стоят.

Приблизьте интеллект.