Амбиция создавать лучшее

Компания CoreInfra была создана двумя основателями в 2024 году. Должность CEO занял Илья Щербак — в прошлом директор инфраструктурной разработки ВКонтакте, работал в калифорнийском video-tech стартапе, начинал карьеру, как разработчик системного программного обеспечения. CTO — Григорий Петросян, руководитель группы Core Infrastructure ВКонтакте, автор state-of-the-art библиотек property-based тестирования для Go — rapid[3] и для Rust — chaos_theory[2], строил mission-critical системы для большого числа пользователей в финтех и инженерных компаниях.

Наша область интересов и экспертизы — стык AI/ML и классической инфраструктурной разработки, где ключевыми являются надежность и корректность. Мы имеем опыт разработки баз данных, распределенных систем, систем распределенной доставки контента, обладаем глубоким опытом реализации сетевых протоколов и многого другого.

AI x Verification

При разработке системы репликации и контроля membership кластера для баз данных ВКонтакте, основанной на распределенном консенсусе[1], мы осознали необходимость прикладной верификации как единственного возможного способа построения надежных сложных инженерных систем. Это знание было использовано при создании нашего первого продукта — системы прикладной верификации и автономного тестирования AT1. AT1 основан на полносистемном программируемом структурном фаззере, который позволяет глубоко исследовать сложные системы и находить ошибки в сложных конфигурациях и состояниях.

Такой подход получает еще больше преимуществ во времена интенсивного внедрения AI кодинг-агентов, что и нашло отражение в нашем слогане, в который мы очень верим: AI x Verification -> Future. Здесь сложился пазл: вместе с фазой генерации, которую дают передовые модели, цикл замыкается фазой верификации, которую обеспечивает AT1 и другие технологии, разрабатываемые внутри компании.

Сейчас основными направлениями работы команды являются CoreInfra AI Hub и CoreInfra AT1. Первое направление — генерация и технологии конструирования AI-агентов, второе — прикладная верификация и инструменты разработки и deep testing.

Future

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