Today, mathematicians continue to argue among themselves about computer-assisted proofs.
今日，數學家們則持續地在爭論電腦輔助證明的嚴謹度。