Initially, their proof was not accepted by all mathematicians because the computer-assisted proof was infeasible for a human to check by hand .
Изначально доказательство не было принято всеми математиками, поскольку его невозможно было проверить вручную.