Модели искусственного интеллекта в приложении к математике

В докладе планируется сделать обзор современных моделей искусственного интеллекта, применяемых в математике. В частности, мы обсудим алгоритмы, лежащие в основе AlphaProof (серебряная медаль на IMO) и AlphaGo. Кроме того, мы вкратце опишем основные архитектуры этих моделей, которые включают обучение с подкреплением (reinforcement learning) и большие языковые модели.