Нейросети справились с четырьмя из шести задач 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 года. Ее участникам предлагалось решить шесть

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

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

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

Терапия CRISPR/Cas помогла снизить «плохой» холестерин при семейной гиперхолестеринемии Терапия CRISPR/Cas помогла снизить «плохой» холестерин при семейной гиперхолестеринемии

Как помогла терапия CRISPR/Cas при семейной гиперхолестеринемии

N+1
Шaрлотка с яблоками Шaрлотка с яблоками

Десерт, известный как charlotte russe, в СССР был переименован в яблочную бабку

КАНТРИ Русская азбука
Что такое «зима искусственного интеллекта» и когда ее ждать Что такое «зима искусственного интеллекта» и когда ее ждать

Что происходит во время «зимы искусственного интеллекта»?

ТехИнсайдер
Блины Блины

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

КАНТРИ Русская азбука
«Джинсовая лихорадка»: как джинсы в СССР были культом, символом и объектом желания «Джинсовая лихорадка»: как джинсы в СССР были культом, символом и объектом желания

Что положило начало так называемой джинсовой лихорадке в СССР?

Правила жизни
О строении нашей галактики О строении нашей галактики

Не все знают, что у Млечного Пути есть два диска со спиральными рукавами

Наука и техника
«Призрачный свет» и другие фильмы о созидательной силе искусства «Призрачный свет» и другие фильмы о созидательной силе искусства

4 вдохновляющих фильма о целительной силе искусства

СНОБ
Незваные гости Незваные гости

7 способов избавиться от сорняков на даче

Лиза
Ребятам о зверятах Ребятам о зверятах

Росина Сефиен вышла на дейтинг-охоту и вернулась со славными трофеями

VOICE
Юлия Волкова: «Так получилось, что почти каждая моя роль — испытание» Юлия Волкова: «Так получилось, что почти каждая моя роль — испытание»

На «Фабрике» я, конечно, делала шоу. Меня называли девочка-скандал

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

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

ТехИнсайдер
Как выбрать телевизор: советы от специалиста Как выбрать телевизор: советы от специалиста

​​​​​​​Выбор телевизора — процесс, который требует комплексного подхода

ТехИнсайдер
4 факта об обиде, которые помогут от нее освободиться 4 факта об обиде, которые помогут от нее освободиться

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

Psychologies
Руины поэзии Руины поэзии

Петр Белый: гражданственный формализм

Weekend
Помощь от природы Помощь от природы

Продукты, которые тебе нужны в жару

Лиза
После Ленина: гибель левой оппозиции После Ленина: гибель левой оппозиции

Как соратники тяжело больного Ленина начали ожесточённую борьбу за власть

Дилетант
Затянувшаяся грусть: что такое «ловушка печали» и как из нее выбраться Затянувшаяся грусть: что такое «ловушка печали» и как из нее выбраться

«Ловушка печали»: что это такое, как вовремя ее распознать?

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

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

Наука и жизнь
Пояс верности — это не более, чем миф. Рассказываем, как такое получилось Пояс верности — это не более, чем миф. Рассказываем, как такое получилось

Кто и зачем изобрел пояс верности? Существовал ли он на самом деле?

ТехИнсайдер
Кошачий десант: почему кошки всегда приземляются на лапы? И всегда ли это правило срабатывает? Кошачий десант: почему кошки всегда приземляются на лапы? И всегда ли это правило срабатывает?

Как кошкам удается менять положение тела в воздухе без посторонней помощи?

ТехИнсайдер
Почему же вымерли мамонты и можно ли их возродить: любопытные факты о животном, которое когда-то бродило по Земле Почему же вымерли мамонты и можно ли их возродить: любопытные факты о животном, которое когда-то бродило по Земле

Все мы знаем, кто такие мамонты, но не каждому известны подробности их жизни

ТехИнсайдер
Жираф Самсон и дельфин Моби: самые известные животные-долгожители в зоопарках мира Жираф Самсон и дельфин Моби: самые известные животные-долгожители в зоопарках мира

Животные из зоопарков, которые по человеческим меркам прожили около 100 лет

Forbes
Подводные лодки с воздухонезависимыми силовыми установками в российском и советском флоте Подводные лодки с воздухонезависимыми силовыми установками в российском и советском флоте

Этапы разработок электрохимических генераторов для ПЛ в СССР и России

Наука и техника
На чём растут «сумки» и «денежки»? На чём растут «сумки» и «денежки»?

Чем примечательны пастушья сумка и ярутка?

Наука и жизнь
Теневые короли и их великий «Шелковый путь 2.0» Теневые короли и их великий «Шелковый путь 2.0»

«Шелковый путь»: сетевая империя, которая изменила очень многое в XXI веке

P.I.C. Partner In Crime
Портретные режимы Harcourt в Honor 200 и 200 Pro: как они работают? Портретные режимы Harcourt в Honor 200 и 200 Pro: как они работают?

В чем особенности портретных режимов Harcourt?

CHIP
4 вопроса, на которые надо себе ответить, если вы завязываете отношения онлайн 4 вопроса, на которые надо себе ответить, если вы завязываете отношения онлайн

Четыре важных вопроса, на которые надо ответить, завязывая виртуальный роман

Psychologies
Балтика на волне Балтика на волне

Судоверфи Балтийской акватории помогут преодолеть дефицит грузового флота

Монокль
Финикийцы Азиатского материка Финикийцы Азиатского материка

Как согдийцам суждено было сыграть блестящую роль в формировании письменностей

Знание – сила
«Не хочу быть кассиром»: почему зумеры отказываются от учебы и работы и плохо ли это «Не хочу быть кассиром»: почему зумеры отказываются от учебы и работы и плохо ли это

NEET: как зумеры придумали этот тренд и к чему он может привести?

Forbes
Открыть в приложении