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

Как восстановить поврежденные в отпуске волосы – рассказывает эксперт

Лиза
На зарядку становись: как развиваются инфраструктурные технологии для электромобилей На зарядку становись: как развиваются инфраструктурные технологии для электромобилей

Как инфраструктура для электромобилей способна изменить рынок

Forbes
Как прокачать тормоза правильно и когда это нужно: инструкция Как прокачать тормоза правильно и когда это нужно: инструкция

Подробная инструкция замены тормозной жидкости и ее нюансы

РБК
Нехимические зависимости: что это такое, как их распознать и победить Нехимические зависимости: что это такое, как их распознать и победить

Вы просыпаетесь и сразу тянетесь к телефону?

Maxim
Шaрлотка с яблоками Шaрлотка с яблоками

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

КАНТРИ Русская азбука
Японский островок Японский островок

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

Лиза
«Зачем жить?»: как же найти ответ на этот главный вопрос «Зачем жить?»: как же найти ответ на этот главный вопрос

В чем смысл моей жизни? Существует ли ответ на этот вопрос?

Psychologies
Киберспорт: что это такое и сколько зарабатывают киберспортсмены? Киберспорт: что это такое и сколько зарабатывают киберспортсмены?

У людей до сих пор нет четкого понимания, в чем суть киберспорта

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

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

Монокль
Основатель языковой школы — о том, как учить английский, если нет времени Основатель языковой школы — о том, как учить английский, если нет времени

Могут ли мобильные приложения заменить репетитора по английскому языку?

РБК
Толстые отложения углекислоты на ведомом полушарии Ариэля не отменили идею подповерхностного океана Толстые отложения углекислоты на ведомом полушарии Ариэля не отменили идею подповерхностного океана

«Джеймс Уэбб» обнаружил на Ариэле толстые отложения углекислотного льда

N+1
Излечить «катаракту мозга»: как снова увидеть человека в том, кого ненавидишь Излечить «катаракту мозга»: как снова увидеть человека в том, кого ненавидишь

Как работает регуманизация и для чего она нужна

Forbes
Из нефти в «нефть» по-менделеевски Из нефти в «нефть» по-менделеевски

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

Наука и жизнь
«Птичье молоко». Торт & конфеты «Птичье молоко». Торт & конфеты

Рассказываем историю главного сладкого украшения праздничных столов в СССР

КАНТРИ Русская азбука
Кама Гинкас: «Пытаться разгадать гения — все равно что пытаться разгадать жизнь» Кама Гинкас: «Пытаться разгадать гения — все равно что пытаться разгадать жизнь»

Режиссер Кама Гинкас о прозе Пушкина, языке театра и спектаклях-долгожителях

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

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

Psychologies
Расчеловечивание — это звучит гордо Расчеловечивание — это звучит гордо

Как Евгений Юфит перевел русский кинематограф безжалостности на новый уровень

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

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

Монокль
ТОП-3 растительных масел для готовки ТОП-3 растительных масел для готовки

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

ТехИнсайдер
Игра до раздевания Игра до раздевания

Как выявить хорошего любовника без разведки боем

VOICE
7 привычек, которые раздражают бариста 7 привычек, которые раздражают бариста

Эти привычки могут повлечь за собой конфликт с персоналом любимого заведения

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

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

Forbes
Колеса пока не крутятся Колеса пока не крутятся

Почему блокчейн и цифровые активы не могут помочь с трансграничными расчетами

Монокль
«Железный купол»: логика работы и техническое воплощение «Железный купол»: логика работы и техническое воплощение

О принципах работы и основах устройства эффективного противоракетного комплекса

Наука
«Красная книга – это не просто книжка с картинками» «Красная книга – это не просто книжка с картинками»

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

Наука
Как предотвратить измену в молодом, среднем и зрелом возрасте? Как предотвратить измену в молодом, среднем и зрелом возрасте?

Что толкает нас за пределы пары и можно ли избежать неверности?

Psychologies
Фильмы, которые совершили революцию в кино и вышли уже при нашей жизни Фильмы, которые совершили революцию в кино и вышли уже при нашей жизни

Фильмы, которые перевернули киноиндустрию

Maxim
5 простых шагов, которые помогут оправиться от развода 5 простых шагов, которые помогут оправиться от развода

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

Psychologies
Психолог Юлия Дердо: Я по пальцам одной руки могу пересчитать семьи, которые бы не столкнулись с изменой Психолог Юлия Дердо: Я по пальцам одной руки могу пересчитать семьи, которые бы не столкнулись с изменой

Психолог Юлия Дердо — о семейных отношениях и изменах

СНОБ
Открыть в приложении