¿Se pueden entrenar redes profundas para probar teoremas?
Supongamos que tenemos una gran cantidad de pruebas en el cálculo de predicados de primer orden. Supongamos que también tenemos los axiomas, corolarios y teoremas en esa área de las matemáticas en esa forma también. Considere cada proposición que se probó y el cuerpo de la teoría existente que...