Ускорение $XX^T$ и машинное обучение для математики

В докладе мы разберем примеры использования машинного обучения для поиска математических объектов, в частности, расскажем про наш результат о первом за 50 лет ускорении алгоритма матричного умножения $XX^T$. Также обсудим передовые результаты использования больших языковых моделей в чисто математических задачах.