Аспирант КнАГУ представил исследования на Молодёжном коллоквиуме по математической логике в МИАН
Аспирант кафедры «Прикладная математика» Комсомольского-на-Амуре государственного университета Дмитрий Олегович Фролов принял участие в Молодёжном коллоквиуме по математической логике и её приложениям. Мероприятие прошло с 31 августа по 4 сентября 2026 года в Математическом институте им. В. А. Стеклова Российской академии наук (г. Москва) – базе Математического центра мирового уровня (МЦМУ МИАН) – и было посвящено актуальным проблемам современной математической логики, теории алгоритмов и их практическому применению.
Помимо выступления с докладом, Дмитрий Фролов прошёл интенсивное четырёхдневное обучение в рамках образовательной программы коллоквиума. Программа включала в себя циклы лекций от ведущих российских и зарубежных учёных, сотрудников РАН и профессоров МГУ им. М. В. Ломоносова.
В рамках секционных заседаний Дмитрий Фролов выступил с докладом «Формальная модель пространства нейросетевых ранжирующих функций и теорема о существовании оптимальной архитектуры». В своём выступлении аспирант осветил ряд ключевых вопросов: строгую математическую формализацию пространства функций, реализуемых современными глубокими нейронными сетями, методы численного поиска оптимальных конфигураций и доказательство фундаментальной теоремы о существовании наилучшей архитектуры для задач ранжирования данных. Кроме того, он обозначил основные преимущества предложенного подхода: возможность теоретически обоснованного выбора гиперпараметров нейросетей, сокращение вычислительных затрат на обучение моделей и минимизацию ошибок при автоматическом ранжировании информации.
Дмитрий Фролов отметил, что участие в мероприятии столь высокого уровня стало для него важным профессиональным опытом. «На одной площадке в МИАН собрались ведущие специалисты и молодые учёные, формирующие фундаментальную повестку в области математической логики и интеллектуальных систем, – поделился аспирант. – Особенно ценно было не только представить результаты наших теоретических исследований, но и пройти четырёхдневную образовательную программу, прослушав уникальные лекции от признанных экспертов в области логики и её приложений. Полученные знания напрямую связаны с темой моей аспирантской работы – исследованием и выбором архитектур искусственных нейронных сетей для релевантного поиска информации в больших объёмах данных. Коллоквиум показал, что математическое обоснование работы нейросетевых алгоритмов сегодня является одним из самых востребованных векторов науки. Решения, над которыми мы работаем в университете, позволяют сблизить строгие математические методы и прикладные задачи машинного обучения».
По итогам проведённых исследований готовится к публикации научная статья в одном из ведущих рецензируемых журналов, входящих в перечень Высшей аттестационной комиссии (ВАК) и международные базы данных. Кроме того, по результатам дискуссии доклад аспиранта получил высокую оценку оргкомитета, а научные контакты, установленные в МИАН, откроют новые перспективы для совместных исследований.
Участие представителей вуза в столь значимом научном событии способствует развитию фундаментальных исследований кафедры «Прикладная математика» в области нейросетевых технологий, математического моделирования и численных методов, а также укрепляет научные связи КнАГУ с академическим сообществом, институтами Российской академии наук и региональным отделением Союза машиностроителей Хабаровского края.
