DeepMind AI досягає срібної медалі на Міжнародній олімпіаді з математики

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

25 липня Google DeepMind заявив, що досяг прориву у розв’язанні передових математичних проблем для AlphaProof і AlphaGeometry 2.

Математика вважається вирішальним орієнтиром для розвитку ШІ. Складна математика, наприклад геометрія, потребує інтуїтивно зрозумілого й творчого вирішення проблем і складних навичок міркування.

AlphaProof — це нова система на основі навчання з підкріпленням для формальних математичних міркувань, а AlphaGeometry 2 — це вдосконалена версія системи розв’язування геометрії.

Дві системи розв’язали чотири з шести завдань цьогорічної Міжнародної математичної олімпіади (IMO), «вперше досягнувши того ж рівня, що й срібний призер змагань», заявила фірма.

IMO — найстаріший, найбільший і найпрестижніший конкурс для юних математиків. Він проводиться щорічно з 1959 року, і цього року у Великобританії взяли участь понад сто країн.

Google пояснив, що Олімпіада стала широко визнаною як «грандіозний виклик у машинному навчанні та бажаний еталон для вимірювання розширених можливостей математичних міркувань систем ШІ».

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

«Той факт, що програма може створити подібну неочевидну конструкцію, дуже вражає і значно перевищує те, що я вважав сучасним».

Раніше Google пробувався в математичних моделях штучного інтелекту за допомогою системи під назвою AlphaGo, яка навчилася грати в настільну гру Go і перемогла легендарного гравця Go Лі Седола в 2016 році.

Тепер дослідники поєднали наступника AlphaGo, відомого як AlphaZero, із попередньо навченими мовними моделями, щоб створити AlphaProof. Він тренується, вирішуючи мільйони задач, перекладених на офіційну мову програмування «Lean».

Тим часом AlphaGeometry 2 — це нейросимволічна гібридна система, заснована на моделі Google Gemini AI, з покращеними можливостями вирішення геометричних задач.

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

Відповідно до звіту про прибутки за 2 квартал від материнської компанії Google, Alphabet, у DeepMind було багато витрат на дослідження, пов’язані зі штучним інтелектом. Збитки «діяльності на рівні алфавіту», спричинені головним чином коштами, витраченими на дослідження та розробки штучного інтелекту, досягли 2,3 мільярда доларів у другому кварталі, що майже вдвічі більше, ніж за той самий період минулого року.

За темою: 4 речі, які незабаром зможуть робити користувачі Google Gemini

Тим часом конкуренція зі штучним інтелектом продовжує загострюватися.

Згідно зі звітом Reuters від 15 липня, виробник ChatGPT OpenAI працює над новим підходом до своїх моделей ШІ в проекті під кодовою назвою «Полуниця». Повідомляється, що модель розроблена для значного покращення можливостей AI міркування та забезпечення автономних глибоких інтернет-досліджень.

Крім того, 25 липня OpenAI оголосила про запуск прототипу пошукової системи на основі ШІ під назвою SearchGPT.

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