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

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

Maxim
5 неожиданных технологий, которые изменили 3D-графику 5 неожиданных технологий, которые изменили 3D-графику

Какие технологии стояли у истоков современной 3D-графики

ТехИнсайдер
Щи Щи

Щи: универсальности этого супа можно лишь подивиться

КАНТРИ Русская азбука
Ученые предсказали точную дату конца Вселенной— и он случится раньше, чем предполагалось Ученые предсказали точную дату конца Вселенной— и он случится раньше, чем предполагалось

Ученые впервые назвали точную дату конца Вселенной

Inc.
Из Сумрака и обратно: как «Ночной дозор» изменил российское кино 20 лет назад Из Сумрака и обратно: как «Ночной дозор» изменил российское кино 20 лет назад

Как именно и что изменила экранизация книг Сергея Лукьяненко

Правила жизни
Уха Уха

Уха! Этот прозрачный отвар – апофеоз рыбьего предназначения

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

ИИ от DeepMind почти взял золотую медаль на Международной олимпиаде школьников

ТехИнсайдер
16 признаков, что в семье вы «козел отпущения» 16 признаков, что в семье вы «козел отпущения»

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

Psychologies
Ерундопель Ерундопель

Салат с забавным названием, придуманный литературным героем

КАНТРИ Русская азбука
Домашний офис. Полезные идеи для обустройства рабочего места на удаленке Домашний офис. Полезные идеи для обустройства рабочего места на удаленке

Мебель для домашнего офиса должна соответствовать определенным требованиям

Лиза
Будет мальчик! Будет мальчик!

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

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

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

СНОБ
Публицистический запрос на безжалостность Публицистический запрос на безжалостность

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

Weekend
Грамотный подход Грамотный подход

Об особенностях яхтенного детейлинга в беседе с Александром Трощинко

Y Magazine
Сердце коллектива Сердце коллектива

Не спешим влюбляться в коллегу: сначала просчитываем варианты развития событий

VOICE
Можно ли взять велосипед в метро: да, если знать пару хитростей Можно ли взять велосипед в метро: да, если знать пару хитростей

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

ТехИнсайдер
Тельное из рыбы Тельное из рыбы

Вереница рыбных яств русской кухни продолжается, и тельное тоже в деле!

КАНТРИ Русская азбука
Ксения Трейстер: «Я знала, что за меня никто не попросит, поэтому однажды попросила за себя сама» Ксения Трейстер: «Я знала, что за меня никто не попросит, поэтому однажды попросила за себя сама»

Римас Владимирович, посмотрите меня! Наташа Ростова — это я!

Караван историй
Что такое профайлинг и как он работает Что такое профайлинг и как он работает

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

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

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

ТехИнсайдер
Ароматные звёздочки в саду Ароматные звёздочки в саду

Эти удивительные цветы-звёзды можно вырастить в саду в средней полосе России

Наука и жизнь
Операция «Утка» Операция «Утка»

В 30-х годах Сталин решил, что выслать Троцкого за пределы СССР недостаточно...

Дилетант
«Маркетплейс — это не просто программа для компьютера и торговая точка» «Маркетплейс — это не просто программа для компьютера и торговая точка»

Как и зачем регулировать электронные торговые площадки?

Монокль
Ту-104 против De Havilland Comet: чем похожи судьбы двух первых реактивных авиалайнеров Ту-104 против De Havilland Comet: чем похожи судьбы двух первых реактивных авиалайнеров

Ту-104 и Comet: судьба первых гражданских реактивных самолетов

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

Мы решили разобраться в происхождении термина медового месяца

ТехИнсайдер
Жизнь в плену имени Жизнь в плену имени

Марк Юний Брут: история и жизнь того, кто лишил жизни Гая Юлия Цезаря

Дилетант
«Количество параллелей неправдоподобно огромное» «Количество параллелей неправдоподобно огромное»

Александр Родионов о сериале «Чистые», проститутках и хулиганах в 1903 году

Weekend
В своих стенах В своих стенах

Советы, чтобы сэкономить при выборе обоев

Лиза
Переход на многоличности Переход на многоличности

Олег Устинов: искусство как мистификация

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