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

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

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

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

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


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

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

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

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

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

Первая полоса
Живые башни из червей: посмотрите на «суперорганизм», который нашли в саду
Наука
Имплантат сетчатки из нанопроводов восстановил зрение у мышей
Наука
На российских сайтах хотят запретить авторизацию через почту Google
Новости
ИИ против айтишников: как новые инструменты меняют ИТ-бизнес
Мнения
Оказалось, Apple Watch «обманывают» в подсчете калорий
Новости
Китай впервые проверил квантовую связь QSDC на борту многоразовой ракеты
Наука
В Москве пройдет форум MOSТИМ 2025 — обсудят цифровизацию в строительстве и выберут лучших в BIM
Новости
Россиянам могут заблокировать входящие звонки из-за рубежа
Новости
Страдающее «лицо» появилось на Солнце: ученые фиксируют поток частиц в сторону Земли
Космос
Маск и Трамп начали войну в соцсетях: что произошло и какие будут последствия
Кейсы
В Нижнем Новгороде создали «умный» материал для 3D-печати человеческих тканей
Наука
ИИ против супербактерий: в ИТМО создали платформу для поиска новых лекарств
Новости
Парк промышленных роботов в России вырос на 62% за один год
Новости
Геофизики объяснили загадочное ускорение сейсмических волн в недрах Земли
Наука
Семь российских вузов разделят 4,7 млрд рублей на исследования в области ИИ
Иннополис
Найден способ изучать квантовые состояния, которые десятилетиями не получалось поймать
Наука
Каталог кейсов применения квантовых технологий представили в России
Новости
Ozempic и мужское здоровье: как препарат влияет на либидо и восприятие размера пениса
Наука
Землю 2.0 нашли рядом со звездой, похожей на Солнце
Космос
Рыбу «Судного дня» случайно нашли в на пляже: почему ее опасаются
Наука