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

ТехИнсайдерHi-Tech

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

Владимир Губайловский

b36bc628965c860854612a7694ef7f1d_ce_737x491x15x0.jpg
Задачи, предлагаемые на Международной математической олимпиаде, относятся к нескольким областям математики. David Wong/South China Morning Post via Getty

Компания DeepMind объявила, что ее системы искусственного интеллекта (ИИ) решили четыре из шести задач, которые были заданы школьникам на Международной математической олимпиаде (IMO) 2024 года в Бате, Великобритания. ИИ представил строгие пошаговые доказательства, которые были оценены двумя ведущими математиками и получили оценку 28/42 — всего на один балл меньше диапазона золотой медали.

Может показаться, что раз это олимпиада среди школьников, то задачи там простые. Но это не так. Задачи на Международной олимпиаде очень сложные, а школьники, которые их решают обладают настоящим математическим талантом. Задачи для каждой олимпиады придумывают заново и занимаются этим настоящие математики. Результат ИИ совершенно выдающийся еще и потому, что он не только угадал решение, но и привел его полное доказательство. И это уже очень серьезно.

Компания DeepMind объявила 25 июля, что ее системы искусственного интеллекта (ИИ) решили четыре из шести задач, которые были заданы школьникам на Международной математической олимпиаде (IMO) 2024 года в Бате, Великобритания. ИИ представил строгие пошаговые доказательства, которые были оценены двумя ведущими математиками и получили оценку 28/42 — всего на один балл меньше диапазона золотой медали.

ИИ DeepMind решает задачи на уровне самых талантливых школьников мира

«Это, несомненно, очень существенный прогресс», — говорит Джозеф Майерс, математик из Кембриджа, Великобритания, который вместе с лауреатом медали Филдса Тимом Гауэрсом проверил решения и помог выбрать оригинальные задачи для IMO этого года.

DeepMind и другие компании пытаются обучить свои модели давать строгие доказательства трудных математических проблем. Задачи, поставленные на IMO — главном в мире конкурсе для молодых математиков — стали эталоном прогресса на пути к этой цели и стали рассматриваться как «грандиозный вызов» для машинного обучения, заявляет компания.

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

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

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

«Изобретатели становятся героями грустных историй». Правила бизнеса Ларри Пейджа «Изобретатели становятся героями грустных историй». Правила бизнеса Ларри Пейджа

Сооснователь Google о философии компании и спорах со Стивом Джобсом

Forbes
«Бракосочетание Наполеона I и Марии-Луизы» «Бракосочетание Наполеона I и Марии-Луизы»

Мария-Луиза до последнего надеялась, что брак с Наполеоном не состоится

Дилетант
Душепарка Душепарка

В России есть свой согревающий напиток – душепарка

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

На какие вопросы добрачное консультирование помогает найти ответы?

Psychologies
Как вернуться в ресурсное состояние после неудач: 3 простых шага Как вернуться в ресурсное состояние после неудач: 3 простых шага

Что означает удача на самом деле? И как вернуть ее после серии провалов?

Psychologies
Российские ихтиологи переоткрыли исчезнувшую сардельку Российские ихтиологи переоткрыли исчезнувшую сардельку

Ихтиологам удалось продемонстрировать, что абрауские тюльки еще не вымерли

N+1
Инновационные технологии в банковской сфере Инновационные технологии в банковской сфере

Современные тренды финтеха: чего ждать в ближайшем будущем

Наука и техника
Достоевский на улице Сезам Достоевский на улице Сезам

«Эрик»: Бенедикт Камбербэтч в Нью-Йорке 1980-х

Weekend
Впервые за 10 лет пустыня Атакама расцвела зимой Впервые за 10 лет пустыня Атакама расцвела зимой

Впервые за десятилетие растения в пустыне Атакама начали цвести в середине зимы

ТехИнсайдер
Как отбросить сожаления: 8 простых способов Как отбросить сожаления: 8 простых способов

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

Psychologies
Почему «счастливые часов не наблюдают»? Так работает мозг Почему «счастливые часов не наблюдают»? Так работает мозг

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

ТехИнсайдер
Почему греются тормозные диски и чем это может грозить: разбор Почему греются тормозные диски и чем это может грозить: разбор

Все про перегрев дисков: почему это происходит и как избежать

РБК
Голь на выдумки хитра (часть 2) Голь на выдумки хитра (часть 2)

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

Лиза
В чем содержатся витамины группы B и как они влияют на здоровье В чем содержатся витамины группы B и как они влияют на здоровье

Что такое витамины группы В, чем опасен их дефицит?

РБК
«Дела» врачей «Дела» врачей

Есть ли кто ближе к телу правителя, чем личный врач?

Дилетант
Беспилотник научили обнимать деревья крыльями Беспилотник научили обнимать деревья крыльями

PercHug способен садиться на столбы и деревья, обхватывая их крыльями

N+1
Сначала подумай! Сначала подумай!

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

Лиза
«Сначала действуйте, потом думайте» и еще 5 способов улучшить сексуальное общение «Сначала действуйте, потом думайте» и еще 5 способов улучшить сексуальное общение

Есть некоторые общие принципы, по которым строится разговор о близости в паре

Psychologies
Редактирование генома: как ограничивают научные прорывы в России и мире, и при чем тут этика Редактирование генома: как ограничивают научные прорывы в России и мире, и при чем тут этика

Как в развитии науки переплетается этика и закон

Inc.
Что такое профайлинг и как он работает Что такое профайлинг и как он работает

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

Лиза
Ерундопель Ерундопель

Салат с забавным названием, придуманный литературным героем

КАНТРИ Русская азбука
Почему в смарт-часах нельзя купаться в море Почему в смарт-часах нельзя купаться в море

Что означает сертифицированная защита от воды у смарт-часов?

CHIP
Йох Йох

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

КАНТРИ Русская азбука
«Да пребудет со мной сила!»: практика самоподдержки «Да пребудет со мной сила!»: практика самоподдержки

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

Psychologies
«Я сыта по горло неудачными отношениями»: 9 причин, почему женщины возвращаются к бывшим «Я сыта по горло неудачными отношениями»: 9 причин, почему женщины возвращаются к бывшим

Почему женщины не могут отпустить прошлые отношения?

Psychologies
7 подручных средств: чем заменить гантели для тренировки в домашних условиях 7 подручных средств: чем заменить гантели для тренировки в домашних условиях

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

ТехИнсайдер
«Брянский сад» заложит яблоки на хранение «Брянский сад» заложит яблоки на хранение

«Брянский сад» запустил первую очередь современного хранилища на 5 тыс. т

Агроинвестор
Лазеры для квантовых компьютеров стали в 10000 раз меньше Лазеры для квантовых компьютеров стали в 10000 раз меньше

Исследователи разработали миниатюрные титан-сапфировые лазеры

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

Лайфхаки, которые помогут легко и быстро упаковать чемодан перед путешествием

VOICE
Туманный взгляд: почему запотевают фары изнутри и что с этим делать Туманный взгляд: почему запотевают фары изнутри и что с этим делать

Запотевшие фары — это большая беда. Поэтому устранять проблему нужно быстро

ТехИнсайдер
Открыть в приложении