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

Как посадить живую изгородь на дачном участке

Лиза
В Финляндии стали использовать избыточное тепло дата-центров для отопления В Финляндии стали использовать избыточное тепло дата-центров для отопления

Дата-центр снабжает финский город теплом уже около десяти лет

Inc.
Сериалу «Санта-Барбара» 40 лет! Как эпохальная мыльная драма изменила постсоветское и мировое телевидение Сериалу «Санта-Барбара» 40 лет! Как эпохальная мыльная драма изменила постсоветское и мировое телевидение

Один из самых известных ситкомов «Санта-Барбара» празднует юбилей

Правила жизни
Астероидные кольца, сила гравитации и сжатие звездного облака: откуда взялась Луна Астероидные кольца, сила гравитации и сжатие звездного облака: откуда взялась Луна

Почему ни одна из гипотез не может объяснить, как на самом деле «родилась» Луна

Maxim
Йох Йох

Весьма необычное национальное блюдо из кукурузной муки и курдючного сала

КАНТРИ Русская азбука
Точка роста Точка роста

Регина Тодоренко: лучшее лекарство от хейта — безразличие

VOICE
Происхождение казахов Синьцзяна смоделировали из четырех предковых компонент Происхождение казахов Синьцзяна смоделировали из четырех предковых компонент

Китайские генетики проанализировали ДНК более чем двухсот этнических казахов

N+1
Западные ученые объяснили, почему лучше вовсе не пить алкоголь! Западные ученые объяснили, почему лучше вовсе не пить алкоголь!

Почему не существует безопасного уровня потребления алкоголя?

ТехИнсайдер
Люди доплыли до островов Танимбар около 42 тысяч лет назад Люди доплыли до островов Танимбар около 42 тысяч лет назад

Ученые исследовали материалы, обнаруженные в раскопках на островах Танимбар

N+1
Как развивался Казахстан: от прощания с «наследством» СССР и дружбы со всеми до нефтяного богатства Как развивался Казахстан: от прощания с «наследством» СССР и дружбы со всеми до нефтяного богатства

О том, как развивался Казахстан и что повлияло на его политику и культуру

Inc.
Крупный заемщик больше не мечта банкира Крупный заемщик больше не мечта банкира

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

Монокль
Дом у моря Дом у моря

Белоснежная вилла для летнего отдыха, со всех сторон открытая к морю

RR Люкс.Личности.Бизнес.
«Количество параллелей неправдоподобно огромное» «Количество параллелей неправдоподобно огромное»

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

Weekend
Тебе запрещено медитировать, если у тебя есть эти проблемы: какие и почему — объясняет психотерапевт Тебе запрещено медитировать, если у тебя есть эти проблемы: какие и почему — объясняет психотерапевт

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

VOICE
ИИ решил математические задачи Международной олимпиады школьников ИИ решил математические задачи Международной олимпиады школьников

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

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

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

Psychologies
Мир идей Ричарда Оуэна Мир идей Ричарда Оуэна

В вину ему ставят многое — кто же такой Ричард Оуэн и что он сделал в науке?

Знание – сила
Затянувшаяся грусть: что такое «ловушка печали» и как из нее выбраться Затянувшаяся грусть: что такое «ловушка печали» и как из нее выбраться

«Ловушка печали»: что это такое, как вовремя ее распознать?

ТехИнсайдер
3 показателя того, что вы имеете дело с мастером манипуляций 3 показателя того, что вы имеете дело с мастером манипуляций

Распознать мастера манипуляций нелегко, но возможно

Psychologies
Под клёкот проводников Под клёкот проводников

Сложно представить себе более уединенное место на Земле, чем остров Врангеля

2Xplore
«Кажется, это что-то серьезное»: как бороться с мнительностью и ипохондрией «Кажется, это что-то серьезное»: как бороться с мнительностью и ипохондрией

Как же избавиться от страха и ипохондрии и перестать болеть?

Psychologies
Болезнь грязных рук Болезнь грязных рук

Как защитить ребенка от гепатита А и что делать, если он ее уже под хватил?

Лиза
Урожай красоты Урожай красоты

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

Лиза
Семейная история Семейная история

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

Y Magazine
Бабушка знала толк! Вот почему полезно есть супы: интересные факты Бабушка знала толк! Вот почему полезно есть супы: интересные факты

Супы — это не просто согревающее в холодную погоду блюдо

ТехИнсайдер
Режиссер Брюно Дюмон: Художник всегда должны быть критичным и задавать вопросы обществу Режиссер Брюно Дюмон: Художник всегда должны быть критичным и задавать вопросы обществу

Режиссер Брюно Дюмон о «Звездных войнах», социальном кино и роли художника

СНОБ
Через всю страну на двух колесах Через всю страну на двух колесах

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

2Xplore
Рaки донские Рaки донские

Самых вкусных раков ищите в казацких станицах под Ростовом-на-Дону

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

Как записать экран на ноутбуке Windows?

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