Решением задач на Международной математической олимпиаде займется ИИ

Организаторы Международной математической олимпиады предложили добавить в ее программу конкурс на разработку искусственного интеллекта, способного решать классические олимпиадные математические задачи. Алгоритм должен быть написан на языке Lean, говорится на странице конкурса, получившего название IMO Grand Challenge.

Международная математическая олимпиада — Чемпионат мира по математике среди школьников старших классов, проводящийся каждый год в одной из стран. Первая MMO прошла в 1959 году в Румынии с участием семи стран. В последние годы в ММО участвуют более 100 стран с 5 континентов. Cовет ММО утверждает страну, принимающую ММО, следит за соблюдением правил и поддерживает традиции ММО.

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

Школьники для участия в новом конкурсе должны будут выложить алгоритм в открытый доступ, а за сутки до начала олимпиады прислать его в оргкомитет. Алгоритм должен работать без интернета — ему будет дано столько же времени на решение задач, сколько и другим участникам конкурса: по 4,5 часа на каждый набор из трех задач.


Ранее искусственный интеллект Libratus, разработанный инженерами из Университета Карнеги — Мелона, победил шестерых чемпионов мира по покеру, игравших с ним за одним столом.

Подписывайтесь
на наши каналы в Telegram

«Хайтек»новостионлайн

«Хайтек»Dailyновости 3 раза в день

Читайте также

Первая полоса
Альтернативу Apple Pay для iPhone тестируют в России: как она работает
Новости
Сверхзвуковой «Конкорд» возвращается: почему в США поменяли мнение о самолете
Новости
Mars Orbiter теперь «стоит на голове»: зачем это нужно НАСА
Космос
В Москве дожди, а в пустыне — выпал снег: посмотрите на редкое явление из космоса
Космос
Обнаружено самое далекое мини-гало: радиосигнал прошел 10 млрд световых лет
Космос
Товары для взрослых начнут продавать онлайн по биометрии
Новости
Две трети абитуриентов выбирают ИИ как приоритетное ИТ-направление
Наука
Тираннозавр был не таким, как в фильмах, рассказывает палеонтолог
Наука
Google запустил ИИ-приложение для виртуальной примерки одежды
Новости
В России создали ИИ для защиты памятников от разрушения при строительстве
Новости
Галактику Андромеды показали такой, какой ее еще не видели
Космос
Минспорт требует от киберспортсменов бег и отжимания: новый стандарт вызвал споры
Новости
AAEON выпустила самый компактный одноплатный компьютер с чипами Intel Core 13-го поколения
Наука
Этот паразит годами незаметно поедает мозг: названы главные признаки
Наука
Посмотрите на редкое фото Сатурна: это затмение не увидеть еще 15 лет
Космос
Старые смартфоны превратили в подводные центры обработки данных
Новости
Телескоп в Антарктиде зафиксировал первый свет Вселенной с рекордной точностью
Космос
Орангутаны тоже спят сиесту: днем приматы компенсируют ночной недосып
Наука
Искусственный интеллект науился писать код для компьютерных чипов
Новости
Кофеин активирует механизм, который замедляет старение в клетках
Наука