As far as I know, the computer proofs run an enormous amount of iterations of the problem, perhaps regressively, until they reach a solution or contradiction. There was contention over whether the computer proofs were mathematically sound or not. I don’t have the expertise to weigh in on that controversy. I think it was settled that the computer proofs are acceptable to mathematicians.