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

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

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

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

Эти ошибки допускают все, и только 35% людей пользуются беспроводными наушниками правильно Эти ошибки допускают все, и только 35% людей пользуются беспроводными наушниками правильно

Ошибки, которые ухудшают качество звука и срок службы наушников

ТехИнсайдер
У кого не болит поясница? У кого не болит поясница?

Как избежать болей в пояснице и укрепить мышцы спины?

Здоровье
От бронирования переговорной до входа в бизнес-зал: где используется биометрия в России От бронирования переговорной до входа в бизнес-зал: где используется биометрия в России

Зачем нужна биометрия и как ее использовать в России

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

«Ловушка печали»: что это такое, как вовремя ее распознать?

ТехИнсайдер
Что такое калланетика и помогает ли она похудеть: 9 упражнений Что такое калланетика и помогает ли она похудеть: 9 упражнений

Эффективный комплекс упражнений для укрепления мышц, которые можно делать дома

РБК
Японский островок Японский островок

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

Лиза
Мир до Александра. Путешествие начинается… Мир до Александра. Путешествие начинается…

Древний мир, каким его знали греки в канун рождения македонского царевича

Знание – сила
Можно ли взять велосипед в метро: да, если знать пару хитростей Можно ли взять велосипед в метро: да, если знать пару хитростей

Из всех видов транспорта у метропо самые жесткие ограничения для велосипедов

ТехИнсайдер
Дайте два. Как провести лето, чтобы отдохнуть Дайте два. Как провести лето, чтобы отдохнуть

После отдыха летом нужен еще один отдых... Как это исправить?

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

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

ТехИнсайдер
Что не так с психотерапией? Что не так с психотерапией?

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

Здоровье
Недетские вопросы: чему равняется масса облака, и почему оно не падает на Землю? Недетские вопросы: чему равняется масса облака, и почему оно не падает на Землю?

Если облака такие тяжелые, почему они не падают на Землю?

ТехИнсайдер
Договорной брак: ловушки отношений без любви Договорной брак: ловушки отношений без любви

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

СНОБ
Всё ради искусства Всё ради искусства

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

Y Magazine
За зеленым забором За зеленым забором

Как посадить живую изгородь на дачном участке

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

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

КАНТРИ Русская азбука
На лето к бабушке На лето к бабушке

Отправлять детей к бабушке на лето: потенциальные «за» и «против»

Новый очаг
Философия библиотеки Философия библиотеки

Библиотека – в чем ее высшее назначение и сакральный смысл?

Знание – сила
Оливье Оливье

Оливье в Советском Союзе прижился и вскоре прочно закрепился в новогодних меню

КАНТРИ Русская азбука
Свобода от нарцисса: как защититься от вторжений после расставания Свобода от нарцисса: как защититься от вторжений после расставания

Как защититься от вторжений бывшего в вашу жизнь?

Psychologies
На чём растут «сумки» и «денежки»? На чём растут «сумки» и «денежки»?

Чем примечательны пастушья сумка и ярутка?

Наука и жизнь
Летние опыты Летние опыты

Спортивная активность летом: не будем пренебрегать мерами предосторожности

Лиза
Самцы белощекой казарки посидели на гнездах в отсутствие самок Самцы белощекой казарки посидели на гнездах в отсутствие самок

Некоторые самцы казарки садились на гнезда, когда самки временно покидали их

N+1
Ученые вывели формулу, по которой можно узнать, сколько вашей собаке или кошке лет Ученые вывели формулу, по которой можно узнать, сколько вашей собаке или кошке лет

Ученым удалось вывести формулу вычисления возраста собак не пальцем в небо

ТехИнсайдер
Delta IV: конец истории Delta IV: конец истории

Последний пуск ракеты-носителя семейства Delta IV

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

Цитаты Камалы Харрис о борьбе за равенство и преодолении барьеров

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

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

РБК
Мучительно неточная Мучительно неточная

«Объясни мне, любовь»: Маргарете фон Тротта об Ингеборг Бахман

Weekend
Из Сумрака и обратно: как «Ночной дозор» изменил российское кино 20 лет назад Из Сумрака и обратно: как «Ночной дозор» изменил российское кино 20 лет назад

Как именно и что изменила экранизация книг Сергея Лукьяненко

Правила жизни
Сделка со временем: как заработать на будущих доходах других людей Сделка со временем: как заработать на будущих доходах других людей

Можно ли «купить» будущее?

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