Нейросети справились с четырьмя из шести задач 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
Бери выше! Бери выше!

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

Лиза
Что получится, если скрестить автомобиль с коптером: концепт первой отечественной летающей машины Что получится, если скрестить автомобиль с коптером: концепт первой отечественной летающей машины

Футуристические идеи о летающем транспорте могут обрести материальную форму

ТехИнсайдер
Душепарка Душепарка

В России есть свой согревающий напиток – душепарка

КАНТРИ Русская азбука
Как говорить, чтобы дети слушали Как говорить, чтобы дети слушали

Как научиться вести диалог с ребенком

kiozk originals
Диана Милютина Диана Милютина

Сверхновая звезда Диана Милютина про эмансипацию и вайб Балабанова в «Чистых»

Собака.ru
Крупный заемщик больше не мечта банкира Крупный заемщик больше не мечта банкира

Финансовое положение ряда крупных компаний сейчас сложное и останется таким

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

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

Forbes
«Найти идею и правильно ее упаковать». Эксперты — о развитии туризма в России «Найти идею и правильно ее упаковать». Эксперты — о развитии туризма в России

Эксперты — о создании эффективного туристического продукта

СНОБ
Виола Ардона: «Олива Денаро» — роман о смелости, стремлении к справедливости и равноправию Виола Ардона: «Олива Денаро» — роман о смелости, стремлении к справедливости и равноправию

Отрывок из романа о женщинах 1960-х, которым было тесно в рамках общества

СНОБ
Будет мальчик! Будет мальчик!

11 примет, которые предсказывают беременность и пол ребенка

Лиза
«Дела» врачей «Дела» врачей

Есть ли кто ближе к телу правителя, чем личный врач?

Дилетант
Лошадиная королевская фамилия Лошадиная королевская фамилия

«Моя леди Джейн»: кони и люди в альтернативной истории Англии XVI века

Weekend
9 признаков, указывающих на неверность супруга 9 признаков, указывающих на неверность супруга

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

Psychologies
Первый молочный Первый молочный

Обзор АПК Республики Татарстан

Агроинвестор
Вежливость королей Вежливость королей

Тест-драйв гибридного кроссовера из Китая Wey 05

RR Люкс.Личности.Бизнес.
Как на ноутбуке сделать запись экрана: несколько простых способов Как на ноутбуке сделать запись экрана: несколько простых способов

Как записать экран на ноутбуке Windows?

CHIP
Как определить, что к вам применяют финансовый абьюз: 5 признаков Как определить, что к вам применяют финансовый абьюз: 5 признаков

Почему финансовый контроль в отношениях может превратиться в опасное оружие?

Psychologies
Михаил Шемякин: Я допускаю, что Высоцкий умер не сам Михаил Шемякин: Я допускаю, что Высоцкий умер не сам

Художник Михаил Шемякин о своем лучшем друге — Владимире Высоцком

СНОБ
10 заблуждений о деменции, которые могут испортить жизнь вашему близкому или вам самим 10 заблуждений о деменции, которые могут испортить жизнь вашему близкому или вам самим

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

Psychologies
В гостях у природы В гостях у природы

Курилы — острова, на которых всем заправляет Ее Величество Природа

Y Magazine
16 признаков, что в семье вы «козел отпущения» 16 признаков, что в семье вы «козел отпущения»

Об особой форме психоэмоционального насилия, «синдроме козла отпущения»

Psychologies
Бильярд на гробах и желто-синие бездны. Как Ван Гог опередил свое время Бильярд на гробах и желто-синие бездны. Как Ван Гог опередил свое время

Была ли история успеха Ван Гога случайностью и как он смог добиться признания?

СНОБ
Город под землей: как строилось Московское метро Город под землей: как строилось Московское метро

Московское метро началось с одной линии протяженностью всего девять километров

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

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

КАНТРИ Русская азбука
Красненькая пошла Красненькая пошла

Как отвращение к насилию превратило Сэма Пекинпа в «кровавого Сэма»

Weekend
Как выбрать лучший парашют? Как выбрать лучший парашют?

Как определить оптимальную форму парашюта для системы спасения полезного груза?

Наука и техника
Delta IV: конец истории Delta IV: конец истории

Последний пуск ракеты-носителя семейства Delta IV

Наука и техника
Птицам стыдно? Ученые выяснили, что курицы могут краснеть! Вот почему это происходит Птицам стыдно? Ученые выяснили, что курицы могут краснеть! Вот почему это происходит

Куры способны краснеть — и не только. Вот что выяснили ученые!

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

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

ТехИнсайдер
Открыть в приложении