4
Teoremleri ispatlamak için derin ağlar eğitilebilir mi?
İlk hesapta hesabı hesapladığımızda çok sayıda kanıt bulunduğunu varsayalım. Aynı zamanda matematiğin bu alandaki aksiyomlarına, sonuçlarına ve teoremlerine de sahip olduğumuzu varsayalım. Kanıtlanmış her bir teklifi ve bir eğitim setinde bir örnek olarak bu belirli teklifi çevreleyen mevcut teoriyi ve ilgili etiketler için teklif için bilinen iyi bir kanıtı düşünün. …