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

Высказывания, которые помогут сохранить внутренние опоры

Psychologies
Дорого и сложно: что тормозит внедрение ИИ в медицину Дорого и сложно: что тормозит внедрение ИИ в медицину

Почему внедрение инноваций в медицине происходит так медленно?

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

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

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

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

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

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

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

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

Монокль
«Нaполеон» «Нaполеон»

Еще один псевдопарижанин, павший в бою наших представлений о европейской кухне

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

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

ТехИнсайдер
Вот это поворот Вот это поворот

Ищем (и находим) новую профессию в любом возрасте

VOICE
Страшный эксперимент из СССР! Как ученый Владимир Демихов создал двухголовую собаку Страшный эксперимент из СССР! Как ученый Владимир Демихов создал двухголовую собаку

Сюрреалистичный эксперимент доктора Демихова

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

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

Монокль
«Таких эмоций не найдешь в боулинге или кино» «Таких эмоций не найдешь в боулинге или кино»

Почему у баскетбола миллионы фанатов по всему миру? Отвечает Андрей Кириленко

VOICE
Детство без психотравм Детство без психотравм

Что такое психологическая травма, и всякий ли стресс опасен для ребёнка?

Здоровье
Вычислить в толпе Вычислить в толпе

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

P.I.C. Partner In Crime
Не стоит принимать на веру: самые популярные лжетеории, у которых нет научных доказательств Не стоит принимать на веру: самые популярные лжетеории, у которых нет научных доказательств

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

ТехИнсайдер
Блины Блины

Блины для нас – это и наше солнце, и целая Вселенная

КАНТРИ Русская азбука
9 признаков, указывающих на неверность супруга 9 признаков, указывающих на неверность супруга

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

Psychologies
Половина пути Половина пути

Каково это — отдыхать с супругой

VOICE
Как книга Гете «Страдания юного Вертера» спровоцировала суициды в Европе! Интересная история Как книга Гете «Страдания юного Вертера» спровоцировала суициды в Европе! Интересная история

Как роман Гете создал феномен «Эффект Вертера»

ТехИнсайдер
«Дайте свет!»: почему энергосистемы мира не справляются с жарой и энергопереходом «Дайте свет!»: почему энергосистемы мира не справляются с жарой и энергопереходом

Почему энергосистемы не выдерживают жару? Можно ли решить эту проблему?

Forbes
Преодоление трагедии: что такое интергенерационная травма и как она проявляется Преодоление трагедии: что такое интергенерационная травма и как она проявляется

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

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

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

ТехИнсайдер
Через всю страну на двух колесах Через всю страну на двух колесах

Как проходила наиболее протяженная велогонка Red Bull Trans-Siberian Extreme

2Xplore
Один на один с собой: почему топ-менеджерам не хватает общения и как это исправить Один на один с собой: почему топ-менеджерам не хватает общения и как это исправить

65% опрошенных беспокоят вопросы выстраивания стратегии и партнерской работы

Inc.
Город под землей: как строилось Московское метро Город под землей: как строилось Московское метро

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

ТехИнсайдер
Комариные укусы: чем помазать, чтобы не чесалось Комариные укусы: чем помазать, чтобы не чесалось

Почему комариные укусы чешутся и можно ли с этим что-то сделать?

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

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

Forbes
«Во всем дойти до самой сути…» «Во всем дойти до самой сути…»

Разговор с Вадимом Дудой о настоящем и будущем библиотек

Знание – сила
Все побежали и я побежал Все побежали и я побежал

Почему марафоны и тренинги только уводят дальше от цели

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