Организаторы Международной математической олимпиады готовят конкурс на создание алгоритмов
Новости Отредактировано
Алгоритмам дадут столько же времени, сколько и участникам-людям, и решать они будут классические олимпиадные математические задачи.
400 открытий428 показов
Автор: Андрей Карпов
Решение олимпиадных задач по математике хотят доверить программе. Оргкомитет Международной математической олимпиады предложил создать конкурс IMO Grand Challenge. По сути, это такая же олимпиада, но для алгоритмов.
IMO проводится с 1959 года. На ней старшеклассники должны решить шесть заданий разного уровня сложности. Организаторы предлагают конкурсантам написать на языке Lean алгоритм, который будет решать такие же математические задачи, какие решают школьники на олимпиаде. Алгоритмам дадут столько же времени, сколько и участникам-людям, — по 4,5 часа на каждый набор из трёх задач.
Пока неясно, выделят ли мероприятие в отдельный конкурс или он станет частью Международной математической олимпиады. Правилами занимаются исследователи из Microsoft Research, Питтсбургского и Стэнфордского университетов. Они говорят, что предложенный вариант не конечный и будет дорабатываться.
400 открытий428 показов