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

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

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

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

Возраст отдельных изображений Альтамиры оценили более чем в 20-30 тысяч лет Возраст отдельных изображений Альтамиры оценили более чем в 20-30 тысяч лет

Рисунки в пещере Альтамира могут иметь возраст в 20-30 тысяч лет

N+1
Сладкое время для молодоженов: почему месяц после свадьбы зовется медовым Сладкое время для молодоженов: почему месяц после свадьбы зовется медовым

Мы решили разобраться в происхождении термина медового месяца

ТехИнсайдер
Самые безопасные: 10 авиакомпаний мира, у которых не было авиакатастроф за всю историю их существования Самые безопасные: 10 авиакомпаний мира, у которых не было авиакатастроф за всю историю их существования

Какие авиакомпании безопаснее других за всю историю гражданской авиации

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

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

2Xplore
Вот почему люди стали использовать огонь — и приготовление пищи тут не при чем Вот почему люди стали использовать огонь — и приготовление пищи тут не при чем

Исследование, перечеркнувшее привычную картину: зачем люди приручили огонь

Inc.
Стильно, модно, беспощадно Стильно, модно, беспощадно

Отрывок из книги Сары Гэй Форден «Дом Гуччи» об убийстве Маурицио Гуччи

P.I.C. Partner In Crime
Война номеров Война номеров

«Империя»: Брюно Дюмон о битве Зла с Добром

Weekend
Врагу не пожелаешь: 5 самых страшных тюрем в мире Врагу не пожелаешь: 5 самых страшных тюрем в мире

Рассказываем про самые жуткие тюрьмы в мире

ТехИнсайдер
Левее левых: гошисты в водовороте событий мая—июня 1968 года во Франции Левее левых: гошисты в водовороте событий мая—июня 1968 года во Франции

Антиколониальная борьба во Франции и разочарование в коммунистах

Наука
Эта посредственность Бетховен Эта посредственность Бетховен

Не то чтобы совсем уж бездарность, но... — о чем рассказали генетические тесты?

Знание – сила
Как пережить расставание Как пережить расставание

Мучают воспоминания, все вокруг говорит о недавнем романе? Стоп!

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

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

ТехИнсайдер
4 убедительные причины, почему взрослым детям не стоит жить с родителями 4 убедительные причины, почему взрослым детям не стоит жить с родителями

Чем же вредна для взрослых детей жизнь с родителями?

Psychologies
Оттенки неба Оттенки неба

Существует ли преломление воздуха? Откуда ночью синева и даже желтые оттенки?

Знание – сила
Правило двух Миссисипи: что такое «толкаголизм» и как с ним бороться Правило двух Миссисипи: что такое «толкаголизм» и как с ним бороться

Что такое «толкаголизм», к каким последствиям он может привести?

Forbes
4 вопроса, на которые надо себе ответить, если вы завязываете отношения онлайн 4 вопроса, на которые надо себе ответить, если вы завязываете отношения онлайн

Четыре важных вопроса, на которые надо ответить, завязывая виртуальный роман

Psychologies
Дин Итэн: «Жизни обычных людей во всем мире похожи друг на друга» Дин Итэн: «Жизни обычных людей во всем мире похожи друг на друга»

Премьера спектакля китайского режиссера Дин Итэна «Я не убивала своего мужа»

Монокль
В гостях у Angry Birds В гостях у Angry Birds

О чем щебечет западный край страны – Куршская коса?

2Xplore
Акция «В постели за мир» Акция «В постели за мир»

Лежачий протест Джона Леннона и Йоко Оно против войны во Вьетнаме

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

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

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

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

Psychologies
Поехали на машине? Поехали на машине?

«Для меня путешествия на машине — это свобода»

Новый очаг
Даниил Крамер: «За всю историю нашей страны джаз запрещали лишь однажды, и всего на полгода» Даниил Крамер: «За всю историю нашей страны джаз запрещали лишь однажды, и всего на полгода»

Убежден: счастье — это то, что мы делаем себе сами

Коллекция. Караван историй
Балтика на волне Балтика на волне

Судоверфи Балтийской акватории помогут преодолеть дефицит грузового флота

Монокль
Из газеты в Белый дом: как Жаклин Кеннеди помогла мужу стать президентом Из газеты в Белый дом: как Жаклин Кеннеди помогла мужу стать президентом

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

Forbes
«Страсти революции: Эмоциональная стихия 1917 года» «Страсти революции: Эмоциональная стихия 1917 года»

Как демонстрация против Временного правительства обернулась беспорядками

N+1
Киберспорт: что это такое и сколько зарабатывают киберспортсмены? Киберспорт: что это такое и сколько зарабатывают киберспортсмены?

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

CHIP
Лифт в космос: бред или возможное будущее, которое нам устроят японцы? Лифт в космос: бред или возможное будущее, которое нам устроят японцы?

Можно ли построить лифт в космос? Зачем он нужен?

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

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

VOICE
В поисках культурного кода В поисках культурного кода

Как у регионов страны сформировался ощутимый запрос на собственный стиль?

RR Люкс.Личности.Бизнес.
Открыть в приложении