Новая ИИ-модель AlphaGeometry2, разработанная Google DeepMind, показала результаты, превосходящие средний уровень золотых медалистов Международной математической олимпиады (IMO) в решении задач по геометрии.
Новая ИИ-модель AlphaGeometry2, разработанная Google DeepMind, показала результаты, превосходящие средний уровень золотых медалистов Международной математической олимпиады (IMO) в решении задач по геометрии.
Система успешно справилась с 84% геометрических задач, предложенных на олимпиадах за последние 25 лет. AlphaGeometry2 является усовершенствованной версией системы AlphaGeometry, выпущенной ранее. Модель смогла решить 42 из 50 задач, в то время как средний показатель золотого медалиста IMO составляет 40,9.
AlphaGeometry2 использует гибридный подход, сочетающий нейросеть Gemini и символьный движок. Gemini предлагает шаги решения, а символьный движок проверяет их логическую обоснованность, позволяя находить доказательства геометрических теорем.
Для обучения языковой модели AlphaGeometry2 компания DeepMind создала более 300 миллионов синтетических теорем и доказательств. Несмотря на достигнутые успехи, система пока не может решать задачи с переменным числом точек, нелинейными уравнениями и неравенствами.
DeepMind считает, что решение задач по геометрии может способствовать созданию более совершенного ИИ. Этот процесс требует логического мышления и навыков, которые могут быть полезны для разработки универсальных моделей ИИ.
Релоцировались? Теперь вы можете комментировать без верификации аккаунта.