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

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

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

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

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


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

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

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

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

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

Первая полоса
Это не ИИ: посмотрите, как лава сочится из снега
Наука
Физики создали новую теорию «невозможной» квантовой гравитации
Наука
Новый суперкомпьютер для РАН создадут в России
Новости
Инновационный гибридный реактивный двигатель испытали в США
Новости
Учения по безопасности рунета: в РКН рассказали, что ждать россиянам
Новости
Ученые назвали формулу для идеального сна
Наука
Тесты на мышах показали, как стресс влияет на память и тревожность
Наука
Мумия из вечной мерзлоты Якутии оказалась котенком саблезубой кошки
Наука
Кровь животных использовали для восстановления их костей
Наука
«Хаббл» показал последствия столкновения соседней галактики с Млечным Путем
Космос
Выпущена первая видеоигра, которую создает ИИ в реальном времени
Новости
Туристы нашли в Альпах следы животных, которые жили 280 млн лет назад
Наука
Оказалось, инопланетные цивилизации могут стать «пожирателями» звезд
Космос
Огромное пятно нашли в океане: оказалось, что оно живое
Наука
Китай показал многоразовый шаттл для полетов на орбиту
Космос
Стартап разработал технологию охлаждения GPU с помощью алмазов
Новости
США проверяют искусственный интеллект на утечку ядерных секретов
Новости
Назван топ самых популярных и небезопасных паролей в мире
Новости
Томатам вернули сладость, отключив два гена
Наука
«Красные монстры» ранней Вселенной противоречат моделям развития галактик
Наука