Можно ли обучить глубокие сети доказательству теорем?
Предположим, у нас есть большое количество доказательств в исчислении предикатов первого порядка. Предположим, у нас также есть аксиомы, следствия и теоремы в этой области математики в этой форме. Рассмотрим каждое доказанное утверждение и основную часть существующей теории, которая окружает это...