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

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


23.09.2019 Задания интернет-тура Творческого конкурса учителей математики23.09.2019 Расписание лекций по подготовке к Всероссийской Сеченовской олимпиаде школьников23.09.2019 Открылись восемь новых музеев для участников олимпиады «Музеи. Парки. Усадьбы»23.09.2019 Даты и место проведения XIV Международной олимпиады по астрономии и астрофизике23.09.2019 Доступны бланки для участников Турнира Ломоносова23.09.2019 Даты проведения математического конкурса «Осенний Олимп»23.09.2019 Открыта регистрация на олимпиаду РАНХиГС20.09.2019 Сроки проведения Кубка Псковской области по программированию20.09.2019 Список участников ноябрьской химической программы центра «Сириус»20.09.2019 Предварительное расписание Московской олимпиады по химии
все регионы | Математика12 сентября 2019 17:20

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

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

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

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

IMO Grand Challenge

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


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