DeepMind создала ИИ, который превзошел победителей математических олимпиад

Система успешно справилась с 84% геометрических задач, предложенных на олимпиадах за последние 25 лет. AlphaGeometry2 является усовершенствованной версией системы AlphaGeometry, выпущенной ранее. Модель смогла решить 42 из 50 задач, в то время как средний показатель золотого медалиста IMO составляет 40,9.

AlphaGeometry2 использует гибридный подход, сочетающий нейросеть Gemini и символьный движок. Gemini предлагает шаги решения, а символьный движок проверяет их логическую обоснованность, позволяя находить доказательства геометрических теорем.

Для обучения языковой модели AlphaGeometry2 компания DeepMind создала более 300 миллионов синтетических теорем и доказательств. Несмотря на достигнутые успехи, система пока не может решать задачи с переменным числом точек, нелинейными уравнениями и неравенствами. 

DeepMind считает, что решение задач по геометрии может способствовать созданию более совершенного ИИ. Этот процесс требует логического мышления и навыков, которые могут быть полезны для разработки универсальных моделей ИИ.