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




