Революционные модели AlphaProof и AlphaGeometry 2 решают сложные математические задачи
Общий искусственный интеллект (AGI) с продвинутыми математическими рассуждениями потенциально может открыть новые горизонты в науке и технологиях.
Мы добились большого прогресса в создании систем искусственного интеллекта, которые помогают математикам открывать новые идеи, новые алгоритмы и ответы на открытые проблемы. Но нынешние системы искусственного интеллекта по-прежнему с трудом решают общие математические задачи из-за ограничений в навыках рассуждения и обучающих данных.
Сегодня мы представляем AlphaProof, новую систему формального математического мышления, основанную на обучении с подкреплением, и AlphaGeometry 2, улучшенную версию нашей системы решения геометрии. Вместе эти системы решили четыре из шести задач Международной математической олимпиады (IMO) этого года, впервые достигнув уровня серебряного медалиста соревнований.