Нейросети справились с четырьмя из шести задач 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
«Зачем жить?»: как же найти ответ на этот главный вопрос «Зачем жить?»: как же найти ответ на этот главный вопрос

В чем смысл моей жизни? Существует ли ответ на этот вопрос?

Psychologies
Почему намерзает задняя стенка холодильника: 10 причин неисправности Почему намерзает задняя стенка холодильника: 10 причин неисправности

Если на задней стенке холодильника появился лед, значит, что-то идет не так

CHIP
Державинские «университеты» Державинские «университеты»

«Нравом и обычаем каторжник, а познаниями невежда», – так был наречен Иосиф Розе

Знание – сила
Правда ли, что волосы на самом деле мертвые: 11 любопытных фактов о нашей шевелюре Правда ли, что волосы на самом деле мертвые: 11 любопытных фактов о нашей шевелюре

Мы стараемся тщательно ухаживать за волосами, но так мало о них знаем

ТехИнсайдер
«Возникла паника»: подорожают ли в России хлеб и мука «Возникла паника»: подорожают ли в России хлеб и мука

Дорожает ли мука, чем чреват рост ее экспорта и чего ждать от цен на хлеб

Forbes
Типичный «бздых»: каких туристов больше всего не любят на морских курортах Типичный «бздых»: каких туристов больше всего не любят на морских курортах

Как стать туристом, которому нигде не будут рады?

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

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

Лиза
7 качеств, которые привлекают нарциссов 7 качеств, которые привлекают нарциссов

Можно ли защитить себя от манипулятора? Распознать и остановить нарцисса?

Psychologies
Икряники Икряники

Cезон оладий из икры – время весеннего ледохода

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

Сценарист Андрей Золотарев об искусстве написания сценария

Монокль
Блины Блины

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

КАНТРИ Русская азбука
Как выбрать лучший парашют? Как выбрать лучший парашют?

Как определить оптимальную форму парашюта для системы спасения полезного груза?

Наука и Техника
Вaренье из сосновых шишек Вaренье из сосновых шишек

Питаться шишками каждый день не будешь, но иногда – в самый раз!

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

О том, как формируются индивидуальные стратегии чтения

СНОБ
Какие ошибки в воспитании оставляют «шрамы» на психике, или Как вырастить невротика Какие ошибки в воспитании оставляют «шрамы» на психике, или Как вырастить невротика

О самых распространенных ошибках в воспитании: как уберечь от них своих детей?

Psychologies
Наследие под угрозой: почему природный парк в России признали всемирной ценностью Наследие под угрозой: почему природный парк в России признали всемирной ценностью

Про лодки «кенозерки» и чем Стоунхендж похож на Кавказский заповедник

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

Создание мотоциклов на водороде оказалось крепким орешком для инженеров

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

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

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

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

Монокль
Психолог Владимир Дашевский: «Не надо лечить человека от самого себя» Психолог Владимир Дашевский: «Не надо лечить человека от самого себя»

Врач-психотерапевт о том, что можно и нельзя говорить в кабинете у психолога

Maxim
Договорной брак: ловушки отношений без любви Договорной брак: ловушки отношений без любви

Как быть и что делать в ситуации, когда муж не соглашается на развод

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

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

Forbes
Движение F.I.R.E. — что это такое Движение F.I.R.E. — что это такое

Идеология F.I.R.E: есть ли польза от решения «копить больше, тратить — меньше»

Psychologies
Этот мужчина ворвался в магазин и украл только 6 кексов! История вежливого вора из Канады Этот мужчина ворвался в магазин и украл только 6 кексов! История вежливого вора из Канады

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

ТехИнсайдер
За что умер Иван Сусанин? За что умер Иван Сусанин?

Кем был Иван Сусанин и чем он прославился?

Дилетант
Дорога вдоль северного фасада. История Северного широтного хода Дорога вдоль северного фасада. История Северного широтного хода

Для СССР результаты войны в Арктике оказались весьма болезненными

Наука
«Денег нет, но вы держитесь»: 5 самых тяжелых случаев инфляции в истории «Денег нет, но вы держитесь»: 5 самых тяжелых случаев инфляции в истории

Самые тяжелые случаи инфляции с чрезвычайно высокими темпами в истории

ТехИнсайдер
7 привычек, которые раздражают бариста 7 привычек, которые раздражают бариста

Эти привычки могут повлечь за собой конфликт с персоналом любимого заведения

Psychologies
Заливная рыба Заливная рыба

Как сделать заливную рыбу не гадкой? Рассказываем!

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