2024.04.11 20:54:27 (Mastodon 112254574086845278, Twitter 1778527063886238178) from Daniel J. Bernstein:
"Referees and other readers provided with a computer-checked proof spend much less time worrying about the possibility that the theorem is wrong" (quoted from Section 1 of "Papers with computer-checked proofs", https://cr.yp.to/papers.html#pwccp, September 2023)