Новости

한어Русский языкEnglishFrançaisIndonesianSanskrit日本語DeutschPortuguêsΕλληνικάespañolItalianoSuomalainenLatina

26 июля IT House сообщил, что команда Google DeepMind опубликовала вчера (25 июля) сообщение в блоге, в котором говорится, что разработанные ею модели AlphaProof и AlphaGeometry 2 могут решать сложные математические задачи рассуждения.Получил серебряную медаль за решение головоломок Международной математической олимпиады.

Введение в модели ИИ

• AlphaProof: новая система математических формальных рассуждений, основанная на обучении с подкреплением.

• AlphaGeometry 2: улучшенная версия системы решения задач по геометрии.

Команда DeepMind объединила две модели искусственного интеллекта и вместе решила 4 из 6 вопросов Международной математической олимпиады (IMO) этого года, впервые достигнув тех же результатов, что и серебряные медалисты конкурса.

Команда по начислению очков

Два эксперта из команды DeepMind оценивали результаты в соответствии с правилами IMO. Эти два эксперта:

• Профессор сэр Тимоти Гауэрс: известный математик, золотой медалист ИМО и медалист Филдса.

• Д-р Джозеф Майерс: двукратный золотой медалист ИМО и председатель отборочного комитета IMO 2024.

Вывод модели ИИ

ИИ переведет 6 вопросов IMO на математический язык, понятный модели.

AlphaProof решила две алгебраические задачи и одну задачу теории чисел, определив ответы и доказав их правильность, причем одна из решенных задач была самой сложной в соревновании, ее решили только 5 игроков в IMO этого года.

AlphaGeometry 2 демонстрирует задачи по геометрии и не решает 2 комбинаторных задач.

Результаты модели ИИ

Согласно правилам IMO, каждый из 6 вопросов оценивается в 7 баллов, при этом максимальная общая оценка составляет 42 балла.

В конечном итоге система DeepMind набрала 28 баллов, получив высшие оценки по каждому вопросу, что эквивалентно наивысшему баллу в серебряной группе.

Порог золотых медалей на 2024 год начинается с 29 очков, и в официальном соревновании 58 из 609 участников завоевали золотые медали.

IT Home прикрепляет ссылочный адрес