30 октября 2020 года на еженедельном научном семинаре «Онтологический подход в обучении математике» с докладом «IMO Grand Challenge: что мы можем сделать?» выступил Шилов Николай, кандидат физико-математических наук, доцент, руководитель лаборатории программной инженерии Факультета компьютерных и инженерных наук Университета Иннополис (г. Иннополис).

Аннотация доклада: Международная математическая олимпиада (IMO), возможно, является самым знаменитым интеллектуальным соревнованием в мире и, как таковое, является одной из самых сложных задач для искусственного интеллекта (ИИ). После 60-ой Олимпиады в 2019 г. группа исследователей иницировала проект по амбициозным названием «IMO Grand Challenge», главную задачу которого можно сформулировать так: создать ИИ, который сможет выиграть золотую медаль в Олимпиаде. 

Доклад вызвал большой интерес участников семинара. Поступило предложение о сотрудничестве в рамках создания ресурса для подготовки к математическим олимпиадам MathForces.