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

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

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

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

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


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

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

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

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

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

Первая полоса
Названы качества идеального партнера: что ценят женщины и мужчины
Новости
Российский алгоритм для анализа белков обогнал зарубежные аналоги по скорости и точности
Новости
России к 2030 году понадобятся миллионы специалистов по ИИ
Новости
Американки массово вшивают «лифчик» прямо в грудь: как работает технология
Новости
Темные фабрики: будущее промышленности без человека
Мнения
Астрономы открыли рекордно далекую от звезды суперземлю
Космос
Датские ученые омолодили стволовые клетки, изменив их «диету»
Наука
Биологи описали стратегии любви у мышей: защищаться или «странствовать»
Наука
Якутские инженеры создали боевого «Скорпиона» для битвы роботов
Новости
Количество DDoS-атак удвоилось в первом квартале 2025 года
Новости
Сдвиг поверхности земли при землетрясении зафиксировали из космоса
Космос
Не так уж жарко: выяснилось, какая погода была на Марсе в прошлом
Космос
Целый океан исчез на Земле: как это изменило историю нашей планеты
Наука
Минцифры запускает эксперимент с ИИ на «Госуслугах»: что он будет делать
Новости
Сжигать жир можно с помощью мыслей: как это работает
Наука
Маркетплейсы превратили шопинг в зависимость: как не потратить свои деньги
Наука
ChatGPT научили материться, как сантехника Валеру из Омска
Новости
Написать научный труд в эпоху нейросетей: как сделать ИИ помощником?
Мнения
Следы «долгожданной» черной дыры нашли в соседней галактике
Космос
В Анапе испытали устройство для сбора мазута со дна моря
Наука