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

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

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

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

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


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

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

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

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

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

Первая полоса
«Хаббл» показал галактику с прожорливой черной дырой
Новости
Авторы ChatGPT назвали свой ИИ смехотворным
Новости
Посмотрите на обновленную Nokia 3210: что умеет этот гаджет
Новости
Какие компании готовы нанимать джунов и с какими навыками — исследование
Новости
Ученые нашли «новый» генетический вариант болезни Альцгеймера
Новости
Оказывается, популярная диета защитила печень от воспаления
Новости
SpaceX показала скафандр для первой частной миссии по выходу в открытый космос
Космос
OpenAI запустит поисковый сервис ChatGPT для конкуренции с Google
Новости
Геологи обнаружили древний вулканизм на обратной стороне Луны
Космос
Физики, возможно, впервые наблюдали глюоний: эти частицы состоят только из силы
Наука
Екатерина Барабанова, Ростелеком – о том, как построить карьеру в образовании и HR
Мнения
Японская станция сфотографировала мусор в космосе: это первый шаг к очистке орбиты
Космос
Шесть анонсов с презентации Apple новых iPad
Новости
Семь загадок Солнечной системы и Солнца, которые ученые пока не решили
Кейсы
Посмотрите, что будет с вами при падении в черную дыру
Новости
Сибирские «врата в подземный мир» растут: что происходит в Батагайке
Новости
Оказалось, в прошлом Марс был больше похож на Землю, чем все думали
Наука
Крепость римских легионеров, которой 2000 лет, нашли рядом с собором
Наука
Терапия светом помогла при травмах позвоночника
Наука
Робот-гуманоид с электроприводом может работать вслепую
Новости