The word is he's got it. But no one wants to say so in case they're wrong.

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.