Нейросети справились с четырьмя из шести задач IMO 2024 года

N+1Hi-Tech

Нейросети DeepMind научились решать задачи на уровне серебряных медалистов Международной математической олимпиады

Они справились с четырьмя из шести задач 2024 года

Андрей Фокин

248c08ac41690205d7e7d84180c02292.jpeg
Google DeepMind / X (twitter)

Google DeepMind разработала нейросетевые алгоритмы AlphaProof и AlphaGeometry 2, которые достигли уровня серебряного медалиста Международной математической олимпиады (IMO). Вместе они решили четыре из шести задач, представленных на олимпиаде в 2024 году, набрав в сумме 28 очков из 42 возможных, сообщается в блоге компании.

Международная математическая олимпиада (IMO) — это престижное математическое соревнование для школьников, которое проводится ежегодно с 1959 года. Задачи IMO известны своей сложностью и требуют нестандартного мышления. В последние годы олимпиада стала также важным тестовым полигоном для алгоритмов машинного обучения. Исследователи используют математические задачи с этого соревнования для тестирования навыков рассуждения (reasoning) у алгоритмов машинного обучения, то есть их способности анализировать информацию, делать выводы и приводить доказательства.

Так поступили и разработчики из Google DeepMind, которые недавно представили нейросети AlphaProof и AlphaGeometry 2, предназначенные для решения сложных математических задач. Оба алгоритма были протестированы на задачах Международной математической олимпиады 2024 года. Ее участникам предлагалось решить шесть

Авторизуйтесь, чтобы продолжить чтение. Это быстро и бесплатно.

Регистрируясь, я принимаю условия использования

Рекомендуемые статьи

В Кении нашли древнейшего австралопитека В Кении нашли древнейшего австралопитека

Как был обнаружен древнейший представитель рода австралопитеков

N+1
10 методов, которыми нас воспитывали: от худшего к лучшему 10 методов, которыми нас воспитывали: от худшего к лучшему

Классификация методов воспитания: от наименее к наиболее эффективным

Psychologies
Зачем люди делают громкий выхлоп на машине Зачем люди делают громкий выхлоп на машине

Люди решили спросить спонсоров бессонницы и владельцев громкого выхлопа напрямую

Maxim
Беспилотник научили обнимать деревья крыльями Беспилотник научили обнимать деревья крыльями

PercHug способен садиться на столбы и деревья, обхватывая их крыльями

N+1
Замуж за друга: 3 непридуманные истории Замуж за друга: 3 непридуманные истории

Как получается, что мы вдруг видим возлюбленного в том, кого считали друзьями?

Psychologies
Чужой, Годзилла, Саурон: в честь кого теперь называют животных Чужой, Годзилла, Саурон: в честь кого теперь называют животных

Новые имена в биологии, которые отсылают к персоналиям или поп-культуре

Наука и техника
Из нефти в «нефть» по-менделеевски Из нефти в «нефть» по-менделеевски

Можно ли найти более экологичный и выгодный способ утилизации пластика?

Наука и жизнь
Триллионы долларов за грамм: 7 самых дорогих материалов в мире Триллионы долларов за грамм: 7 самых дорогих материалов в мире

Алмазы, лекарства и даже песок с Луны — вещества, которые стоят миллионы

ТехИнсайдер
Икряники Икряники

Cезон оладий из икры – время весеннего ледохода

КАНТРИ Русская азбука
Кулебяка Кулебяка

Царица русских застолий с эффектом Lego: кулебяка

КАНТРИ Русская азбука
На педали жали: краткий таймлайн велосипедной формы На педали жали: краткий таймлайн велосипедной формы

Как с годами менялась одежда велосипедистов и велосипедисток

Правила жизни
Как книга Гете «Страдания юного Вертера» спровоцировала суициды в Европе! Интересная история Как книга Гете «Страдания юного Вертера» спровоцировала суициды в Европе! Интересная история

Как роман Гете создал феномен «Эффект Вертера»

ТехИнсайдер
Секты, пластическая хирургия и жизнь с двойником: главные книжные новинки этого лета Секты, пластическая хирургия и жизнь с двойником: главные книжные новинки этого лета

Актуальные книжные новинки о телесности, сектах и «почетных арийцах»

Forbes
Как развивался Казахстан: от прощания с «наследством» СССР и дружбы со всеми до нефтяного богатства Как развивался Казахстан: от прощания с «наследством» СССР и дружбы со всеми до нефтяного богатства

О том, как развивался Казахстан и что повлияло на его политику и культуру

Inc.
Блины Блины

Блины для нас – это и наше солнце, и целая Вселенная

КАНТРИ Русская азбука
Трогать запрещается! Трогать запрещается!

Какие ядовитые растения могут омрачить летний отдых на природе?

Здоровье
14 цитат Камалы Харрис, которые научат бороться за лучшее, даже если все против вас 14 цитат Камалы Харрис, которые научат бороться за лучшее, даже если все против вас

Цитаты Камалы Харрис о борьбе за равенство и преодолении барьеров

Psychologies
Альцгеймер в сахаре Альцгеймер в сахаре

Как ученые связывают болезнь Альцгеймера и сахарный диабет?

Наука
Из газеты в Белый дом: как Жаклин Кеннеди помогла мужу стать президентом Из газеты в Белый дом: как Жаклин Кеннеди помогла мужу стать президентом

Какой была первая леди, которая запомнилась миру не меньше, чем ее муж-президент

Forbes
Здоровая альтернатива. 4 метода лечения, которые способны улучшить самочувствие Здоровая альтернатива. 4 метода лечения, которые способны улучшить самочувствие

Когда официальная медицина не помогает, мы прибегаем к альтернативным методам

Лиза
«Я предложила маме жить с нами, если она бросит пить, или самой за себя отвечать»: история читательницы «Я предложила маме жить с нами, если она бросит пить, или самой за себя отвечать»: история читательницы

Как побороть стыд за родственников, злоупотребляющих алкоголем

Psychologies
4 самые частые причины сохранить несчастный брак: действительно ли они того стоят? 4 самые частые причины сохранить несчастный брак: действительно ли они того стоят?

Причины жить с мужчиной, который больше не хочет быть с тобой

Psychologies
Ностальгия по СССР: куда советские туристы плавали в зарубежные круизы Ностальгия по СССР: куда советские туристы плавали в зарубежные круизы

Как в СССР продвигался международный туризм

ТехИнсайдер
Все фильмы про «Терминатора» от худшего к лучшему Все фильмы про «Терминатора» от худшего к лучшему

Рейтинг фильмов про Терминатора: худшие и лучшие

Maxim
Сделка со временем: как заработать на будущих доходах других людей Сделка со временем: как заработать на будущих доходах других людей

Можно ли «купить» будущее?

Forbes
«Академикам-медикам не нашлось места в зале общего собрания» «Академикам-медикам не нашлось места в зале общего собрания»

Исполнилось 80 лет со дня основания медицинской академии наук СССР

Наука
Движение F.I.R.E. — что это такое Движение F.I.R.E. — что это такое

Идеология F.I.R.E: есть ли польза от решения «копить больше, тратить — меньше»

Psychologies
«Такую никто не возьмет»: как в традиционном обществе относятся к пережившим насилие «Такую никто не возьмет»: как в традиционном обществе относятся к пережившим насилие

Отрывок из романа, в котором героиня выступила против традиционного общества

Forbes
Профессия: вивисектор Профессия: вивисектор

Замкнутый круг насилия: ревизия фильмографии мастера страшных парадоксов

Weekend
Вся надежда на русскую пчелу Вся надежда на русскую пчелу

Роспотребнадзор запретил ввоз пчел из Узбекистана, Казахстана и Киргизии

Наука
Открыть в приложении