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

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

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

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

Повреждения на 30-тысячелетних зубах кроманьонцев объяснили пирсингом Повреждения на 30-тысячелетних зубах кроманьонцев объяснили пирсингом

Антрополог проанализировал повреждения на зубах древних людей

N+1
Генная терапия: встречайте лекарства будущего Генная терапия: встречайте лекарства будущего

Насколько мы близки к победе над «плохой генетикой»?

Монокль
Как искусственный интеллект меняет бьюти-индустрию Как искусственный интеллект меняет бьюти-индустрию

Как технологии ИИ ежедневно помогают бьюти-мастерам в работе?

Inc.
Кама Гинкас: «Пытаться разгадать гения — все равно что пытаться разгадать жизнь» Кама Гинкас: «Пытаться разгадать гения — все равно что пытаться разгадать жизнь»

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

Монокль
Как не попасть на «развод» в автосалоне. 6 уловок продавцов Как не попасть на «развод» в автосалоне. 6 уловок продавцов

Названы 6 самых хитрых приемов дилеров при продаже машин

РБК
Россия выпала из топ-10 самых DDoS-атакуемых стран на фоне выборов по всему миру Россия выпала из топ-10 самых DDoS-атакуемых стран на фоне выборов по всему миру

Россия покинула список десяти самых DDoS-атакуемых стран мира

Forbes
Мягкого робота научили отбрасывать ноги Мягкого робота научили отбрасывать ноги

Новый тип соединения для роботов, который позволяет им отбрасывать конечности

N+1
«Горжусь нашим кастингом» «Горжусь нашим кастингом»

Режиссер Анна Матисон об истории адвоката Плевако и историческом детективе

OK!
Загадочный конверт Загадочный конверт

Александр Бекзадян вел себя все менее и менее осмотрительно...

Дилетант
Как собрать чемодан для путешествия: 9 полезных советов стюардесс Как собрать чемодан для путешествия: 9 полезных советов стюардесс

Лайфхаки, которые помогут легко и быстро упаковать чемодан перед путешествием

VOICE
Эчпочмак Эчпочмак

Иногда визитная карточка может быть и треугольной!

КАНТРИ Русская азбука
Киберспорт: что это такое и сколько зарабатывают киберспортсмены? Киберспорт: что это такое и сколько зарабатывают киберспортсмены?

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

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

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

РБК
Почему «счастливые часов не наблюдают»? Так работает мозг Почему «счастливые часов не наблюдают»? Так работает мозг

Увеличение нашей активности влияет на то, как наш мозг отсчитывает время

ТехИнсайдер
Имитирующий мышцы спины экзоскелет снизит нагрузку на позвоночник при поднятии тяжестей Имитирующий мышцы спины экзоскелет снизит нагрузку на позвоночник при поднятии тяжестей

Инженеры разработали экзоскелет, предназначенный для снижения риска травм спины

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

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

Psychologies
Иван Купала: обычаи, приметы и гадания Иван Купала: обычаи, приметы и гадания

Зачем прыгать через костер, в чем суть куклы «Купавы» и какие травы собирать

Лиза
Люблю двоих Люблю двоих

Что делать, если нравятся сразу двое мужчин?

Лиза
Остров спокойствия Остров спокойствия

Serenissima 1 — плод сотрудничества турецкой верфи и итальянского дизайн-бюро

Y Magazine
Поиск баланса Поиск баланса

Как в текущих условиях решать задачи обеспечения технологического суверенитета

Деньги
Странная принцесса Странная принцесса

Жизнь принцессы Александры Ольденбургской стала основой для жития святой

Дилетант
Попробуй — полюбишь Попробуй — полюбишь

Какие полезные привычки можно внедрить в свою жизнь?

Новый очаг
Тоннель в складчину Тоннель в складчину

Можно ли привлечь угольщиков к софинансированию модернизации Восточного полигона

Монокль
Самые неприхотливые и выносливые кроссоверы дешевле ₽1,5 млн Самые неприхотливые и выносливые кроссоверы дешевле ₽1,5 млн

Предложения кроссоверов на вторичном рынке дешевле 1,5 млн руб.

РБК
Яблоки миллиардеров: как богатые наследники продолжают покорять мировой теннис Яблоки миллиардеров: как богатые наследники продолжают покорять мировой теннис

Богатые наследники, которые профессионально занимаются теннисом

Forbes
Смотрины для родинки Смотрины для родинки

Разбираемся, какие родинки опасны, а какие совершенно безобидны

Лиза
Восемь мифов о правильной еде Восемь мифов о правильной еде

Давно опровергнутые, но устоявшиеся представления о правильной еде

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

В СССР придумали дома-бублики: как они устроены?

ТехИнсайдер
Операция «Утка» Операция «Утка»

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

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

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

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