Today, mathematicians continue to argue among themselves about computer-assisted proofs.
Денес математичарите расправаат за компјутеризирани докази.