Today, mathematicians continue to argue among themselves about computer-assisted proofs.
גם כיום, המתמטיקאים ממשיכים להתווכח בינם לבין עצמם בנוגע להוכחות מתמטיות בעזרת מחשב.