In math, rigor is vital, but are digitized proofs taking it too far?

[isaacfrond]

Article URL: https://www.quantamagazine.org/in-m...-digitized-proofs-taking-it-too-far-20260325/

Comments URL: https://news.ycombinator.com/item?id=47528403

Points: 65

# Comments: 51