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

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

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

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

Чего я не знала, начиная бизнес: Марина Могилко, Linguatrip Чего я не знала, начиная бизнес: Марина Могилко, Linguatrip

Марина Могилко основала первую компанию, когда ей был 21 год, вложив в нее $300

Inc.
Археологи приготовили птиц по-неандертальски Археологи приготовили птиц по-неандертальски

Ученые попробовали приготовить пять птиц по-неандертальски

N+1
Заповедная Калмыкия Заповедная Калмыкия

Почему крупнейший заповедник Калмыкии носит название «Черные земли»?

Лиза
Диморф унаследовал валуны от Дидима Диморф унаследовал валуны от Дидима

Планетологи сравнили распределение размеров валунов на астероидах Дидим и Диморф

N+1
Александр Клюквин: «Никто не работает ради зрителя. Я не работаю ради зрителя» Александр Клюквин: «Никто не работает ради зрителя. Я не работаю ради зрителя»

Пауза — это хлеб с мясом у актера

Коллекция. Караван историй
Аннигиляция в вопросах и ответах Аннигиляция в вопросах и ответах

Что такое аннигиляция?

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

К каменному лицу, случайно обнаруженному в Казахстане, остается много вопросов

ТехИнсайдер
Не такие простые, как кажутся: 15 фактов о поведении и образе жизни шмелей Не такие простые, как кажутся: 15 фактов о поведении и образе жизни шмелей

Как обстоят дела в шмелиных семьях и как они справляются с трудностями

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

Чем отличаются варочные панели? Что учесть при её выборе?

CHIP
Зачем императору резец? Зачем императору резец?

История ученической гравюры императора Николая Павловича

Дилетант
Стиль «тихая роскошь» Стиль «тихая роскошь»

Zeelander 5 с полностью кастомным интерьером и ограниченной серией

Y Magazine
Еда и напитки в самолете: что заказать, а от чего воздержаться Еда и напитки в самолете: что заказать, а от чего воздержаться

Стоит ли пить и есть в самолете: советы экспертов

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

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

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

Глава из книги «Один на один с жизнью»: как историческая память травмирует нас

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

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

Forbes
Страшный эксперимент из СССР! Как ученый Владимир Демихов создал двухголовую собаку Страшный эксперимент из СССР! Как ученый Владимир Демихов создал двухголовую собаку

Сюрреалистичный эксперимент доктора Демихова

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

Почему течет вода в унитазе и что с этим можно сделать самостоятельно?

ТехИнсайдер
Универсальный фри Универсальный фри

Кто придумал жарить картофель и почему его любят почти во всех странах мира?

Наука и жизнь
«Такую никто не возьмет»: как в традиционном обществе относятся к пережившим насилие «Такую никто не возьмет»: как в традиционном обществе относятся к пережившим насилие

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

Forbes
Финикийцы Азиатского материка Финикийцы Азиатского материка

Как согдийцам суждено было сыграть блестящую роль в формировании письменностей

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

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

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

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

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

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

Наука
Люди доплыли до островов Танимбар около 42 тысяч лет назад Люди доплыли до островов Танимбар около 42 тысяч лет назад

Ученые исследовали материалы, обнаруженные в раскопках на островах Танимбар

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

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

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

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

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

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

Монокль
Статус или свобода: как разные поколения зарабатывают и тратят деньги Статус или свобода: как разные поколения зарабатывают и тратят деньги

Чем отличаются представления о ценности денег у разных поколений?

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

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

Psychologies
Фанни Фаталь Фанни Фаталь

«Когда кто-то на вас по-настоящему смотрит, вы забываете о камере»

Караван историй
Открыть в приложении