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

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

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

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

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


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

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

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

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

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

Первая полоса
Китай показал лазерную передачу данных со спутника со скоростью 100 Гбит/с
Космос
Кольцо весом 500 кг упало на Землю: откуда оно — неизвестно
Космос
Болезнь Альцгеймера связали с вирусом, которым заражены миллиарды людей
Наука
В Венгрии нашли древнейшее средневековое захоронение женщины с оружием
Наука
Ученые измерили излучение от смартфонов и сетей связи 5G
Новости
Раскрыта тайна миграции летучих мышей: они могут «оседлать шторм»
Наука
Китай обогнал Starlink: данные с орбиты передали со скоростью 100 Гбит/с
Космос
Найден неуловимый вулкан, который охладил Землю во времена Пушкина
Наука
Полеты к Луне, новый телескоп и анализ астероида: за какими миссиями следить в 2025 году
Кейсы
Как викинги и германцы пересекали Европу: анализ ДНК раскрыл пути древней миграции
Наука
Анализ «генеалогии» использовали для выявления опасных бактерий и вирусов
Наука
Астрофизики отследили источник радиосигнала из далекой галактики
Космос
Робот на водке, тараканы-киборги и механический голубь: необычные устройства 2024 года
Кейсы
Лучшее за 2024 год: интересные статьи партнеров
Кейсы
Борьба с ВИЧ, карта мозга и супер-земля: открытия 2024 года, изменившие мир
Кейсы
Чем запомнился 2024 год в изучении космоса: лунные миссии, успехи Маска и тайны темной материи
Кейсы
Неожиданное место активности гравитационных волн нашли в космосе
Космос
Астрономы нашли гигантский резервуар воды в космосе
Космос
У библейской горы в Иерусалиме обнаружили редкий артефакт
Наука
Кто-то смотрит в космос: посмотрите на туманность с необычной формой
Космос