the average theorem in euclids' elements (written 2000 years back) would have a reasoning chain of at least 10 steps.
all of the mathematical machinery humans build need 100% accuracy in each step