4
Mạng sâu có thể được đào tạo để chứng minh các định lý?
Giả sử chúng ta có một số lượng lớn các bằng chứng trong phép tính vị ngữ thứ tự đầu tiên. Giả sử chúng ta cũng có các tiên đề, hệ quả và định lý trong lĩnh vực toán học ở dạng đó. Hãy xem xét từng mệnh đề đã …