Today, mathematicians continue to argue among themselves about computer-assisted proofs.
Kini, para matematikawan masih terus beradu argumentasi tentang bukti berbantuan-komputer.