After a year they came back to me and said that they were 99% sure that the proof was correct. |
If you want to solve a problem badly enough and you can do with a computer what you can't do without a computer then of course you'll use it. |
The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs. |
The word is he's got it. But no one wants to say so in case they're wrong. |