Тема:
Текст сообщения:
Вы находитесь на старой версии сайта. Некоторые функции могут работать некорректно. Перейдите на новый сайт olimpiada.ru
Выбрать регион
Выбрать предмет
Войти
Выберите предмет | Все предметы закрыть
Выберите регион | Все регионы закрыть
все регионы | все предметы

Последние новости


05.12.2019 Новый порядок формирования сборных России для участия в международных олимпиадах05.12.2019 Требования к проведению регионального этапа Всероссийской олимпиады по физике05.12.2019 Приказ о проведении Московской олимпиады в 2019/20 учебном году05.12.2019 Ответы на задания отборочного этапа олимпиады «Ломоносов» по немецкому языку05.12.2019 Расписание Герценовской олимпиады по изобразительному искусству05.12.2019 Список приглашенных на заключительный этап Московской олимпиады по истории искусств05.12.2019 Результаты I тура олимпиады «Шаг в будущее» по черчению05.12.2019 Обновлены результаты первого тура дистанционного этапа олимпиады имени Леонарда Эйлера05.12.2019 Победители и призеры I этапа Всесибирской олимпиады по информатике05.12.2019 Открыт прием заявок на апрельскую физическую программу центра «Сириус»
все регионы | Математика12 сентября 2019 17:20

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

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

Условия задач планируется описать на формальном языке, искусственный интеллект в свою очередь должен будет предоставить решение также на языке, подлежащем машинной проверке. В остальном условия приближены к реальным. На решение трех задач искусственному интеллекту будет дано 4,5 часа, как и участникам Международной математической олимпиады. И, конечно, ему нельзя будет пользоваться интернетом. 

В комитет конкурса входят не только информатики, но и два математика – золотые медалисты Международной математической олимпиады. Один из них Рейд Бартон – четырехкратный золотой медалист, выступавший за сборную США в 1998-2001 годах. На последней своей олимпиаде Рейд Бартон занял абсолютное первое место, набрав максимальное количество баллов.

IMO Grand Challenge

Если вы заметили ошибку или опечатку в тексте, выделите ее курсором и нажмите Ctrl + Enter Система Orphus


Комментарии:
Авторизуйтесь, чтобы оставить комментарий
Ок