Американские маематики разработали систему искусственного интеллекта, способную решать самые сложные геометрические задачи, используемые для оценки умений участников международных математических олимпиад, передает ТАСС со ссылкой на статью в журнале Nature.
"Мы создали систему AlphaGeometry, способную доказывать теоремы в области эвклидовой геометрии без подсказок со стороны человека. Ей удалось решить 25 из 30 задач, недавно использовавшихся в международных математических олимпиадах, что заметно больше, чем у других систем ИИ, и сопоставимо с успехами обладателей золотых медалей в этих соревнованиях", - пишут исследователи.
AlphaGeometry была создана группой математиков под руководством старшего научного сотрудника компании Deepmind Мин-Тханга Луонга. Система способна решать самые неудобные для ИИ математические задачи - искать доказательства к теоремам, связанным с эвклидовой геометрией. Сложности в их решении обусловлены тем, что трудно перевести их на понятный алгоритму язык, а также набрать достаточное число примеров для его обучения.
Специалистам DeepMind удалось обойти эту проблему при помощи разработанной ими языковой нейросети AlphaGeometry, а также специального алгоритма, который позволил выработать большое число синтетических теорем и доказательств к ним, пользуясь уже известными математическими закономерностями. В итоге ученые получили своеобразный "учебник геометрии" для нейросети - выборку из 100 млн геометрических теорем, которые были написаны на понятном для системы ИИ языке.
