News for hackers. Stuff that matters.
Re:Number theorist fears many proofs widely considered to be... by casefields on Monday September 30, 2019 @02:35AM (#21112294)
No one human knows how to make a pencil: https://fee.org/resources/i-pencil/
Re:Number theorist fears many proofs widely considered to be... by imglorp on Monday September 30, 2019 @02:11PM (#21118096)
Beautifully put, with afterward from Milton Freidman putting it into context.