Разработан подход на базе больших языковых моделей, который позволил автоматически формализовать данные и подготовить базу из 80 млн математических проблем.