Принадлежащая Google компания DeepMind заявила, что её искусственный интеллект AlphaGeometry2 превзошёл средний уровень золотых медалистов Международной математической олимпиады (IMO) по решению задач по геометрии
Согласно исследованию DeepMind, новый ИИ AlphaGeometry2 решил 42 из 50 геометрических задач, предложенных на IMO за последние 25 лет. Средний результат золотых медалистов – 40,9 задач.
Данная система имеет ограничения и не справляется с уравнениями с переменным числом точек, нелинейными уравнениями и неравенствами. На более сложном уровне задач, отобранных экспертами, система ИИ решила всего 20 из 29 заданий.
В основе AlphaGeometry2 зашита языковая модель Gemini и механизм дедукции со строгими математическими правилами. Gemini предсказывает необходимые шаги, а механизм проверяет их логическую обоснованность.
