ИИ получил серебряную медаль на Международной математической олимпиаде

Искусственный интеллект из Google DeepMind завоевал серебряную медаль на Международной математической олимпиаде (IMO) в этом году. Эта олимпиада считается самым престижным в мире соревнованием математиков, и обычно нейросетям не хватает знаний, чтобы правильно ответить на вопросы теста.

Тем не менее, новый ИИ под названием AlphaProof оказался способен решить широкий спектр математических здач, а отдельная нейросеть AlphaGeometry справилась с вопросами по геометрии. Когда разработчики протестировали обе системы вместе, нейросети правильно ответили на четыре из шести вопросов, — этого достаточно, чтобы выиграть серебряную медаль, а для золотой медали не хватает лишь одного очка.

Учёные из Кембриджского университета, которые помогали отмечать ответы AlphaProof, сообщили, что производительность ИИ была удивительной. Что ещё интереснее, нейросеть находила те же способы решения проблем, что и люди, хотя она работает так же, как предыдущие ИИ от Google DeepMind. Система полагается на метод проб и ошибок, который известен как обучение с подкреплением, в ходе которого AlphaProof находит собственный способ решения задачи за множество попыток.

Впрочем, хотя производительность этой нейросети впечатляет, она работает медленно: на поиск некоторых решений уходит до трёх дней вместо 4,5 часов, за которые справляются люди. Кроме того, ИИ не смог ответить на два вопроса по комбинаторике, которая изучает расположение чисел. Тем не менее, такая система может быть полезна работающим математикам, а в конечном счёте поможет улучшить большие языковые модели.