Original: Initially, their proof was not accepted by all mathematicians because the computer-assisted proof was infeasible for a human to check by hand .
Simplified: Not all mathematicians accept the proof.