Семинар под названием «Доказательство теорем с помощью машинного обучения» в ЕГУ

4-го марта текущего года, в 15:00 часов, в 203 аудитории факультета математики и механики ЕГУ состоится семинар под названием «Доказательство теорем с помощью машинного обучения». 

Семинар будет посвящен задачам получения доказательств при использовании нейронных сетей.