Написать пост

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

Аватар Екатерина Никитина

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

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

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

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

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

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