In math, rigor is vital, but are digitized proofs taking it too far? - 新闻列表