Искусственный интеллект для решения математических задач

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