Redes profundas podem ser treinadas para provar teoremas?
Suponha que tenhamos um grande número de provas no cálculo de predicado de primeira ordem. Suponhamos que também tenhamos axiomas, corolários e teoremas nessa área da matemática dessa forma. Considere cada proposição que foi provada e o corpo da teoria existente em torno dessa proposição...