Работаю на стыке математической логики, верификации ИИ и проектирования больших систем. Тезис: там, где ИИ теперь принимает решения — города, правительства, автономные мультиагентные системы — нужен независимый проверяемый слой, который проверяет то, что производит ИИ, как аудитор проверяет отчётность компании.
Мой бэкграунд — математическая логика и семантическое программирование: теоремы о неподвижной точке в духе Гэнди, проблема P = L, полиномиально-вычислимые представления формальных систем. Оттуда я перешёл в прикладную ИИ-инфраструктуру: методы доверенного ИИ, соединяющие LLM с формальной логикой, и движок верификации ENIGMA Axiom.
Сегодня консультирую организации, строящие ответственный ИИ — через IAIC FZCO в Дубае — и организую конференции (MathAI, SmartCity, IAIC) и редакционные инициативы, собирающие исследовательское сообщество вокруг доверенного ИИ.
P = L, полиномиальные аналоги теоремы Гэнди, полиномиально-вычислимые представления.
Соединение LLM с формальной логикой; формальная и фактическая проверка выводов модели (ENIGMA Axiom).
Виртуальные города, цифровые двойники и автономные ИИ-общества на масштабе города.
Задачные когнитивные архитектуры; ИИ + проверяемые записи для эффективности госуправления.
Консультирую организации, строящие ответственный ИИ — инвойс через IAIC FZCO, Дубай.
Консалтинг и запись на консультацию →