Können tiefe Netzwerke trainiert werden, um Theoreme zu beweisen?
Angenommen, wir haben eine große Anzahl von Beweisen im Prädikatenkalkül erster Ordnung. Angenommen, wir haben auch die Axiome, Korollarien und Theoreme auf diesem Gebiet der Mathematik in dieser Form. Betrachten Sie jeden Satz, der bewiesen wurde, und den Bestand der existierenden Theorie, der...