Моделирование сердца человека, 1 миллион строк кода и теорема с доказательством на 5 000 страниц
Иван Конюхов: «Во время стендовой сессии слушателей интересовало использование современных подходов к применению алгоритмов искусственного интеллекта к классическим математическим задачам. Я специалист по численным методам и высокопроизводительным вычислительным системам, поэтому мне были интересны доклады из области численных методов. Собственно, я был единственным участником из Университета Иннополис и сделал две презентации на тему нефтегазодобычи. Я работаю над этими темами уже десять лет, с третьего курса университета. За это время стал соавтором программного пакета, состоящего из более чем 1 млн строк кода на трех основных разработчиков.
Темы других докладчиков были далеки от области моих научных исследований: речь шла о применении численных методов в медицине, а именно о моделировании работы сердца человека, о процессе образования тромбов. Но эти исследования основаны на схожих математических уравнениях, которые используются и для моделирования, например, процессов фильтрации. Было любопытно задать вопросы об эффективности методов и различных нюансах технической реализации».
Даниэль Де Карвальо: «Превосходная дискуссия развернулась во время выступления профессора Дэвида Холгейта о теории категорий и топологии. Обе темы являются одними из самых абстрактных в математике, но при этом широко используются в информатике и теоретической физике. Еще один пример — это выступление профессора Бернардо Родригеса, который показал применение классификации простых конечных групп в криптографии. Это очень абстрактная и сложная теорема — 5 тыс. страниц занимает доказательство, заключительный этап которого завершили в 2004 году. Также запомнился доклад профессора Александра Холево, который рассказал о квантовой информации. В последние годы эта тема стала активной областью исследований».
Абстрактная математика в современной промышленности
Иван Конюхов: «Как сказал великий немецкий математик и механик Карл Фридрих Гаусс, математика является царицей наук. В современном мире нет отрасли, где не использовались бы компьютерные технологии. Применение компьютеров непосредственно приводит к цифровизации процессов, использованию математических формул и точных алгоритмов обработки данных. На секции численных методов на этой конференции профессор МФТИ Игорь Петров выступил с докладом о возможном применении численного моделирования в различных отраслях промышленности — от медицины и робототехники до геологии и исследования арктического шельфа. В информатике недостаточно знать, как писать код программы. Программы создаются для решения прикладных задач реальной жизни. Для этого необходимо иметь более глубокие знания о том, с чем программист имеет дело, и уметь описывать на языке формул и программных кодов. Без этого на сегодняшний день невозможно быть конкурентоспособным в современном мире ИТ-технологий и решений».
Конференции ускоряют научный прогресс
Иван Конюхов: «Все ученые немного ленивые — это факт. Как и все люди. Поэтому такие конференции, где сжатые временные рамки подачи тезисов и ограничения по времени самого выступления, стимулируют исследователя более эффективно управлять своим временем. Это помогает при работе. При математическом моделировании недостаточно построить модель какого-то процесса: важно проверить ее на реальных данных и получить результаты вычислительных экспериментов. Многие из этих факторов приводят к необходимости усерднее работать на результат и сосредотачиваться на достижении поставленной цели. Никто бы не хотел ударить в грязь лицом перед коллегами и, конечно же, все хотели бы представить свою работу в самом выгодном свете.
Еще один полезный момент такой научной конференции — возможность встретиться с коллегами из других городов и стран. Это помогает знакомиться с новыми людьми и поддерживать контакт со старыми знакомыми.
Кроме того, конференции могут способствовать установлению новых связей между учеными, работающими по близким тематикам. Например, мой коллега, профессор КФУ Владимир Конюхов, который несколько лет назад работал над проектом математического и компьютерного моделирования процесса тромбообразования, познакомился с коллегой из другого университета. Он работает над схожими задачами по данной тематике, используя несколько иные подходы. Они обменялись опытом, плюсами и минусами каждого подхода и решили попробовать работать вместе в будущем.
Если говорить, почему исследователи приехали в Университет Иннополис, то я думаю, что не последнюю роль сыграл фактор интереса к самому молодому и передовому университету в России. На конференции было несколько магистрантов и бакалавров из-за рубежа — интересовались программами аспирантуры и магистратуры в российском вузе».
Даниэль Де Карвало: «Математики, которые работают над одной и той же темой, могут жить очень далеко друг от друга. Они могут быть знакомы с трудами своих коллег, а могут и не знать о существовании ученого с похожими интересами. Такие конференции позволяют им узнать, что они должны прочитать, чтобы актуализировать знания о состоянии своей исследовательской темы. К тому же, презентация на конференции с возможностью задать вопросы оратору во время доклада или в перерыве может помочь прояснить все тонкости. Авторам важно поделиться своей работой и получить обратную связь. Недостаточно доказывать теоремы, их нужно знать, понимать и применять.
В отличие от большинства конференций по математике, эта конференция объединила людей, которые работают в самых разных областях. Участие в дискуссии по теме, которая напрямую не входит в компетенцию ученого, может не принести практической пользы для исследовательской деятельности, но формирует широкий взгляд на то, что исследуется сейчас в математике».
Ректор Университета Иннополис Александр Тормасов: «В связи с развитием ИТ-технологий математика уже не просто теоретическое упражнение в абстрактных материях, она непосредственно приносит результаты. Весь искусственный интеллект и все новые направления исследований базируются на математике. Для нашего университета, который занимается развитием ИТ и цифровой экономики, участие в подобного рода мероприятии особенно важно не только с точки зрения получения новых знаний, но и с точки зрения популяризации того, что мы делаем в этих областях. Также эта конференция — хорошая возможность узнать, что нового происходит в мире математики. Страны БРИКС традиционно являются лидерами в области математики. Поэтому мы рады стать площадкой для Третьей международной математической конференции БРИКС, познакомиться и обменяться опытом с лучшими умами в этой области».
Первая международная математическая конференция стран БРИКС прошла в 2017 году в Китае, вторая — в 2018 году в Бразилии. Следующая конференция в 2020 году пройдет в Индии. Цель мероприятия — совершенствовать методологии обучения и формировать экспертное математическое сообщество, которое займется совместными исследованиями и презентациями новых разработок. Подробнее о прошедшей в Университете Иннополис конференции — http://bricsmathconf.innopolis.ru.