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

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

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

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

«Слон во Вселенной. 100 лет в поисках темной материи» «Слон во Вселенной. 100 лет в поисках темной материи»

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

N+1
Математика седьмой координаты для роботов* Математика седьмой координаты для роботов*

Перспективы и проблемы развития роботостроения в России

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

Как развивается гражданская авиаотрасль в России

СНОБ
Лифт в космос: бред или возможное будущее, которое нам устроят японцы? Лифт в космос: бред или возможное будущее, которое нам устроят японцы?

Можно ли построить лифт в космос? Зачем он нужен?

ТехИнсайдер
Сила воли: что мешает нам добиваться цели Сила воли: что мешает нам добиваться цели

Проблема отсутствия силы воли – в образе жизни, который ее ослабляет

Psychologies
Вaренье из сосновых шишек Вaренье из сосновых шишек

Питаться шишками каждый день не будешь, но иногда – в самый раз!

КАНТРИ Русская азбука
Танцы на льду Танцы на льду

Пересекаем замерзший Байкал от поселка Усть-Баргузин до Северобайкальска

2Xplore
На высоте На высоте

Катерина Шпица о репутационных рисках и ощущении себя в роли «звезды»

OK!
«Разоренный дом». Отрывок из романа Руби Намдара «Разоренный дом». Отрывок из романа Руби Намдара

Жизнь профессора идет своим чередом, пока не начинают посещать странные видения

СНОБ
«Мы вместе навсегда»: что такое фьючефейкинг — новый вид манипуляции «Мы вместе навсегда»: что такое фьючефейкинг — новый вид манипуляции

8 признаков того, что партнер фальсифицирует ваше общее будущее

Psychologies
«Севморпуть — это пока не бизнес. Это государственная задача» «Севморпуть — это пока не бизнес. Это государственная задача»

Сергей Чемко о буднях арктической морской логистики

Монокль
В гостях у Angry Birds В гостях у Angry Birds

О чем щебечет западный край страны – Куршская коса?

2Xplore
Один на острове Один на острове

25 вещей, которые непременно нужно сделать на Сахалине

2Xplore
Не распущенность, а выживание: как Жозефин Батлер защищала проституированных женщин Не распущенность, а выживание: как Жозефин Батлер защищала проституированных женщин

Как Жозефин Батлер защищала права женщин, продававших свое тело

Forbes
В своем темпе В своем темпе

Как тренироваться без вреда для здоровья в любом возрасте

Лиза
Приехали: почему космические спутники — новая головная боль для кибербеза Приехали: почему космические спутники — новая головная боль для кибербеза

С точки зрения кибербезопасности космические технологии вовсе не так надежны

Forbes
10 причин вашего несчастья 10 причин вашего несчастья

Почему вы можете чувствовать себя несчастными и что можно с этим сделать

Psychologies
Вежливость королей Вежливость королей

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

RR Люкс.Личности.Бизнес.
Что делают с багажом, который отбирают у пассажиров в аэропорту Что делают с багажом, который отбирают у пассажиров в аэропорту

Что происходит с конфискуемыми у пассажиров самолетов вещами?

Maxim
Правила хранения джина, виски и водки Правила хранения джина, виски и водки

Почему водка иногда теряет свой вкус и откуда в виски появляются ноты резины?

СНОБ
Урожай красоты Урожай красоты

Проверенные рецепты домашних масок из сезонных ягод, фруктов, овощей и злаков

Лиза
Как вывести лишнюю воду из организма и убрать отеки: советы врача Как вывести лишнюю воду из организма и убрать отеки: советы врача

Когда вода не приносит пользы, нужно ли ее выводить из организма?

РБК
Олимпиада по запретам: как МОК не дает спортсменам рекламировать себя и зарабатывать Олимпиада по запретам: как МОК не дает спортсменам рекламировать себя и зарабатывать

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

Forbes
Осторожно: тромб! Осторожно: тромб!

10 неочевидных симптомов, которые могут сигнализировать о тромбах

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

Подорожание пшеницы привело к росту стоимости муки в ряде регионов

Монокль
Проклятия, сглаз, завистливые матери и Карл Юнг: черная магия глазами психолога Проклятия, сглаз, завистливые матери и Карл Юнг: черная магия глазами психолога

Поэтому многие в сложных жизненных ситуациях предпочитают полагаться на магию?

Psychologies
«Дэдпул и Росомаха» снимает проклятие с комиксов и оказывается отличным фильмом. Рецензия MAXIM «Дэдпул и Росомаха» снимает проклятие с комиксов и оказывается отличным фильмом. Рецензия MAXIM

Почему «Дэдпул и Росомаха» — единственный не зашкварный экранный комикс

Maxim
Александр Клюквин: «Никто не работает ради зрителя. Я не работаю ради зрителя» Александр Клюквин: «Никто не работает ради зрителя. Я не работаю ради зрителя»

Пауза — это хлеб с мясом у актера

Коллекция. Караван историй
Юлия Галкина: «В кино самое главное — компания» Юлия Галкина: «В кино самое главное — компания»

Горжусь, я единственная актриса — кандидат наук

Коллекция. Караван историй
Зонд DART увидел омоложение поверхности Диморфа Зонд DART увидел омоложение поверхности Диморфа

Как планетологи составили портрет системы астероидов Дидим и Диморф

N+1
Открыть в приложении