A 50-year-old computer-assisted proof

(johndcook.com)

4 points | by speckx 5 hours ago ago