4
Czy można wytrenować głębokie sieci w celu udowodnienia twierdzeń?
Załóżmy, że mamy dużą liczbę dowodów w rachunku predykatów pierwszego rzędu. Załóżmy, że mamy również aksjomaty, następstwa i twierdzenia w tej dziedzinie matematyki w tej formie. Rozważ każdą twierdzenie, która została udowodniona, oraz treść istniejącej teorii otaczającej tę konkretną propozycję jako przykład w zestawie szkoleniowym i znany dobry dowód propozycji …