The Proof Was Never the Point
W20 โ A computer verified its first physics paper and found an error peer review missed. A mathematician quit his tenured position to argue that mathematics has been misdefined for 2,300 years. These are the same story.