Задача конференции — создание уникальной платформы для обмена мнениями и идеями между ведущими специалистами в области математики и теоретического программирования с целью сформировать формальный базис таких ключевых трендов в разработке интеллектуальных программных систем, как:
- доверенный искусственный интеллект;
- объяснимый искусственный интеллект;
- гибридный искусственный интеллект;
- большие языковые модели.
Конференция посвящена новым математическим методам и подходам для систем искусственного интеллекта. Построение сильного искусственного интеллекта требует новых прорывных математических решений, особенно это касается обучения интеллектуальных систем.
На конференцию мы приглашаем исследователей, имеющих прорывные разработки в области ИИ, которые базируются на следующих математических дисциплинах:
- математическая логика;
- теория алгоритмов;
- теория вероятности и математическая статистика;
- матричный анализ и линейная алгебра;
- методы оптимизации и теория управления;
- теория доказательств и дедуктивная верификация;
- дифференциальные уравнения;
- теория игр для объяснения и интерпретации работы диффузионных моделей, больших языковых моделей, вариационных автокодировщиков, байесовских нейронных сетей.
Срок подачи заявок: до 9 марта 2025 г.
С более подробной информацией можно ознакомиться на сайте конференции.