Сбер вакансии Backend
Сбер вакансии Backend
Сбер вакансии Backend
Написать пост

Организаторы Международной математической олимпиады готовят конкурс на создание алгоритмов

Новости Отредактировано

Алгоритмам дадут столько же времени, сколько и участникам-людям, и решать они будут классические олимпиадные математические задачи.

400 открытий428 показов

Автор: Андрей Карпов

Решение олимпиадных задач по математике хотят доверить программе. Оргкомитет Международной математической олимпиады предложил создать конкурс IMO Grand Challenge. По сути, это такая же олимпиада, но для алгоритмов.

IMO проводится с 1959 года. На ней старшеклассники должны решить шесть заданий разного уровня сложности. Организаторы предлагают конкурсантам написать на языке Lean алгоритм, который будет решать такие же математические задачи, какие решают школьники на олимпиаде. Алгоритмам дадут столько же времени, сколько и участникам-людям, — по 4,5 часа на каждый набор из трёх задач.

Пока неясно, выделят ли мероприятие в отдельный конкурс или он станет частью Международной математической олимпиады. Правилами занимаются исследователи из Microsoft Research, Питтсбургского и Стэнфордского университетов. Они говорят, что предложенный вариант не конечный и будет дорабатываться.

Следите за новыми постами
Следите за новыми постами по любимым темам
400 открытий428 показов