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

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

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

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

Большую языковую модель встроили в шрифт Большую языковую модель встроили в шрифт

Разработчик из Дании создал файл шрифта, который одновременно является LLM

N+1
Мой друг барабашка Мой друг барабашка

Как забрать домового с собой при переезде

Лиза
Сможет ли ИИ написать «Войну и мир-2» Сможет ли ИИ написать «Войну и мир-2»

SSM-модель — что нового она привнесла для мира нейросетей?

ТехИнсайдер
«Без технóты нет работы у пилотов». Обслуживание авиатехники «Без технóты нет работы у пилотов». Обслуживание авиатехники

Из каких этапов состоит техобслуживание летательных аппаратов

Наука и Техника
Вопрос психологу: как стресс влияет на принятие решений? Вопрос психологу: как стресс влияет на принятие решений?

Какое влияние стресс оказывает на мышление и поведение?

Правила жизни
Зло с закрытыми глазами: как и почему люди становятся убийцами Зло с закрытыми глазами: как и почему люди становятся убийцами

Отрывок из книги Харальда Вельцера «Обыкновенные убийцы»

Inc.
Без шанса на удачу: 5 фактов о дуэли Пушкина, которые вы могли не знать Без шанса на удачу: 5 фактов о дуэли Пушкина, которые вы могли не знать

Рассказываем 5 фактов о дуэли Пушкина, которые вы могли не знать

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

Как правильно оформить пожертвование и как получить за него вычет

Inc.
Чем угрожает живым цифровое бессмертие ушедших Чем угрожает живым цифровое бессмертие ушедших

Индустрия «цифрового бессмертия» — это не далекое будущее, это наше настоящее

ТехИнсайдер
Едем со спокойной душой Едем со спокойной душой

Что обязательно нужно сделать перед отпуском?

Лиза
Что такое профайлинг и как он работает Что такое профайлинг и как он работает

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

Лиза
Чем черника отличается от голубики и в чем ее польза для организма Чем черника отличается от голубики и в чем ее польза для организма

Черника известна пользой для зрения, но это лишь верхушка айсберга

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

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

СНОБ
Устаревшая версия Устаревшая версия

Отрывки из автобиографии легендарного Терминатора — Арнольда Шварценеггера

RR Люкс.Личности.Бизнес.
В Новосибирск. Путешествие для всей семьи В Новосибирск. Путешествие для всей семьи

Интересный маршрут по Новосибирску для всей семьи

Лиза
Руины поэзии Руины поэзии

Петр Белый: гражданственный формализм

Weekend
Лисички в сметане Лисички в сметане

В России наиболее популярным блюдом всегда были жареные лисички в сметане

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

Почему люди краснеют от стыда и смущения?

СНОБ
Михаил Шемякин: Я допускаю, что Высоцкий умер не сам Михаил Шемякин: Я допускаю, что Высоцкий умер не сам

Художник Михаил Шемякин о своем лучшем друге — Владимире Высоцком

СНОБ
Вся надежда на русскую пчелу Вся надежда на русскую пчелу

Роспотребнадзор запретил ввоз пчел из Узбекистана, Казахстана и Киргизии

Наука
Самый человечный человек Самый человечный человек

Юрист-идеалист, ставший мировым символом сопротивления

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

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

ТехИнсайдер
Самок лягушек заподозрили в сексуальном каннибализме Самок лягушек заподозрили в сексуальном каннибализме

Зоологи зафиксировали попытку золотистой литории съесть потенциального партнера

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

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

Forbes
Ротавирус или отравление Ротавирус или отравление

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

Лиза
Самые мощные роботы-пылесосы: топ-8 достойных моделей Самые мощные роботы-пылесосы: топ-8 достойных моделей

Мощные роботы-пылесосы с производительными двигателями, которые не подведут

CHIP
Зонд DART увидел омоложение поверхности Диморфа Зонд DART увидел омоложение поверхности Диморфа

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

N+1
Как вывести лишнюю воду из организма и убрать отеки: советы врача Как вывести лишнюю воду из организма и убрать отеки: советы врача

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

РБК
Всё ради искусства Всё ради искусства

Связь этой яхты с миром искусства не ограничивается одним лишь именем

Y Magazine
Ушастая радость Ушастая радость

4 мифа о декоративных кроликах

Лиза
Открыть в приложении