Bisakah jaringan yang dalam dilatih untuk membuktikan teorema?
Asumsikan kita memiliki sejumlah besar bukti dalam kalkulus predikat urutan pertama. Asumsikan kita juga memiliki aksioma, akibat wajar, dan teorema di bidang matematika itu dalam bentuk itu juga. Pertimbangkan setiap proposisi yang dibuktikan dan tubuh teori yang ada yang mengelilingi proposisi...