ИИ от 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 — главном в мире конкурсе для молодых математиков — стали эталоном прогресса на пути к этой цели и стали рассматриваться как «грандиозный вызов» для машинного обучения, заявляет компания.

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

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

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

Почему у мужчин «пунктик» на анальном сексе? Почему у мужчин «пунктик» на анальном сексе?

Откуда у мужчин эта причудливая фиксация на анальном сексе

Cosmopolitan
Репортёр без границ Репортёр без границ

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

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

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

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

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

Psychologies
«Разоренный дом». Отрывок из романа Руби Намдара «Разоренный дом». Отрывок из романа Руби Намдара

Жизнь профессора идет своим чередом, пока не начинают посещать странные видения

СНОБ
Проблема поколения? Исследование: молодежь на работе страдает из-за одиночества и недооцененности Проблема поколения? Исследование: молодежь на работе страдает из-за одиночества и недооцененности

Почему молодые работники испытывают чувство одиночества на работе?

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

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

ТехИнсайдер
Новичок спасает «Спартак», фанаты освистывают «Краснодар»: итоги тура РПЛ Новичок спасает «Спартак», фанаты освистывают «Краснодар»: итоги тура РПЛ

Итоги второго тура чемпионата России по футболу

Forbes
Как отбелить межплиточные швы без особых усилий: 7 гениальных лайфхаков, которые понравятся каждой хозяйке Как отбелить межплиточные швы без особых усилий: 7 гениальных лайфхаков, которые понравятся каждой хозяйке

Надоело смотреть на потемневшую затирку на кухне или в ванной комнате?

ТехИнсайдер
Всё ради искусства Всё ради искусства

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

Y Magazine
Как остановить кровь: капиллярное, артериальное, венозное кровотечение Как остановить кровь: капиллярное, артериальное, венозное кровотечение

Как остановить кровотечение: от надавливания до наложения жгута

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

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

N+1
Марк Эйдельштейн: «Предпочитаю не загадывать на будущее» Марк Эйдельштейн: «Предпочитаю не загадывать на будущее»

Актер (и краш) Марк Эйдельштейн привез из Канн творческую свободу

VOICE
Из колеи ARM в созвездие «Эльбруса»* Из колеи ARM в созвездие «Эльбруса»*

Каковы перспективы экосистемы вокруг процессора «Эльбрус»

Монокль
Африканские корни, кудри и роман о декабристах: откуда появился миф, что Пушкин и Дюма — это один человек Африканские корни, кудри и роман о декабристах: откуда появился миф, что Пушкин и Дюма — это один человек

Некоторые выдвигают теорию, согласно которой Александр Пушкин на самом деле Дюма

ТехИнсайдер
Вычислить в толпе Вычислить в толпе

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

P.I.C. Partner In Crime
Холодец Холодец

Легкость приготовления и удобство транспортировки холодца любили еще наши предки

КАНТРИ Русская азбука
Расчеловечивание — это звучит гордо Расчеловечивание — это звучит гордо

Как Евгений Юфит перевел русский кинематограф безжалостности на новый уровень

Weekend
ТОП-3 растительных масел для готовки ТОП-3 растительных масел для готовки

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

ТехИнсайдер
12 фраз, означающих, что вы эмоционально умнее большинства людей 12 фраз, означающих, что вы эмоционально умнее большинства людей

Фразы, которые отражают интеллектуальные компетенции

Maxim
Путешествия во времени и ядерный апокалипсис. Что ученые думают про фильмы Кристофера Нолана Путешествия во времени и ядерный апокалипсис. Что ученые думают про фильмы Кристофера Нолана

Вероятно ли воплощение научно-фантастических идей режиссера Кристофера Нолана?

СНОБ
«На рынке венчурных инвестиций наступает переломный момент» «На рынке венчурных инвестиций наступает переломный момент»

Как простому россиянину заработать на инвестициях в новые сферы экономики

Деньги
Как американка спасла дочь от тяжелой болезни и заработала миллиарды Как американка спасла дочь от тяжелой болезни и заработала миллиарды

Как болезнь дочери сподвигла Мартину Ротблатт создать биотех-компанию

Forbes
Генная терапия: встречайте лекарства будущего Генная терапия: встречайте лекарства будущего

Насколько мы близки к победе над «плохой генетикой»?

Монокль
Точь-в-точь Точь-в-точь

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

2Xplore
15 пород собак, которые отлично ладят с кошками 15 пород собак, которые отлично ладят с кошками

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

VOICE
По следам золотодобытчиков По следам золотодобытчиков

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

2Xplore
Непонятый Иуда Непонятый Иуда

Иуда — самый известный синоним слова «предатель»

Дилетант
Илья Авербух и Лиза Арзамасова: «Мы оба пребываем в состоянии ожидания чуда» Илья Авербух и Лиза Арзамасова: «Мы оба пребываем в состоянии ожидания чуда»

Главное в семье — это любовь мужа и жены

Коллекция. Караван историй
Ольга Сутулова: «Если ждать популярности и гонораров, они никогда не придут» Ольга Сутулова: «Если ждать популярности и гонораров, они никогда не придут»

Ольга Сутулова — о том, почему не хочет власти на площадке

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