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

Google DeepMind заявляет, что ее модели искусственного интеллекта теперь соответствуют «серебряному стандарту» в сложной математике после решения четырех из шести задач Международной математической олимпиады этого года — одного из самых сложных математических соревнований в мире.

25 июля компания Google DeepMind заявила, что добилась прорыва в решении сложных математических задач для AlphaProof и AlphaGeometry 2.

Математика считается важнейшим ориентиром для развития ИИ. Сложная математика, такая как геометрия, требует интуитивного и творческого решения задач, а также сложных навыков рассуждения.

AlphaProof — это новая система формального математического рассуждения, основанная на обучении с подкреплением, а AlphaGeometry 2 — улучшенная версия системы решения геометрии.

Эти две системы решили четыре из шести задач Международной математической олимпиады (IMO) этого года, «впервые достигнув уровня серебряного призера соревнований», заявила фирма.

IMO — старейшее, крупнейшее и престижное соревнование молодых математиков. Он проводится ежегодно с 1959 года, и в этом году в мероприятии в Великобритании приняли участие более ста стран.

В Google объяснили, что олимпиада получила широкое признание как «грандиозное испытание в области машинного обучения и желаемый ориентир для измерения передовых возможностей системы ИИ в математическом рассуждении».

Золотой медалист IMO профессор сэр Тимоти Гауэрс прокомментировал:

«Тот факт, что программа может создать такую ​​неочевидную конструкцию, очень впечатляет и выходит далеко за рамки того, что я считал современным».

Ранее Google баловался математическими моделями искусственного интеллекта с помощью системы под названием AlphaGo, которая научилась играть в настольную игру Го и победила легендарного игрока в Го Ли Седоля в 2016 году.

Теперь исследователи объединили преемника AlphaGo, известного как AlphaZero, с предварительно обученными языковыми моделями, чтобы создать AlphaProof. Он тренируется, решая миллионы задач, переведенных на формальный язык программирования Lean.

Между тем, AlphaGeometry 2 — это нейросимволическая гибридная система, основанная на модели искусственного интеллекта Gemini от Google, с улучшенными возможностями решения геометрических задач.

Компания заявила, что ее команды по искусственному интеллекту «продолжают изучать различные подходы искусственного интеллекта для развития математических рассуждений и планируют в ближайшее время опубликовать более подробную техническую информацию об AlphaProof».

Согласно отчету о доходах за второй квартал от материнской компании Google Alphabet, DeepMind потратила много денег на исследования, связанные с искусственным интеллектом. Убытки от «деятельности на уровне алфавита», вызванные в первую очередь деньгами, потраченными на исследования и разработки в области искусственного интеллекта, достигли 2,3 миллиарда долларов за второй квартал, что почти вдвое больше, чем за тот же период прошлого года.

По теме: 4 вещи, которые скоро смогут делать пользователи Google Gemini

Тем временем конкуренция в сфере ИИ продолжает накаляться.

Согласно сообщению Reuters от 15 июля, производитель ChatGPT OpenAI работает над новым подходом к своим моделям искусственного интеллекта в проекте под кодовым названием «Strawberry». Сообщается, что модель предназначена для значительного улучшения способностей ИИ к рассуждениям и обеспечения возможности проведения автономных исследований в глубоком Интернете.

Кроме того, 25 июля OpenAI объявила о запуске прототипа поисковой системы на базе искусственного интеллекта под названием SearchGPT.

23 июля генеральный директор Meta Марк Цукерберг заявил, что компания предпринимает следующие шаги к тому, чтобы искусственный интеллект с открытым исходным кодом стал отраслевым стандартом, и объявил о выпуске своей последней модели Llama 3.1.