The word is he's got it. But no one wants to say so in case they're wrong.
The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs.
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.