Manufacturing errors? I can't tell if this is plastic, but if it is, surely a machinist can do better with metal.
Sounds like they used the computer to search for a proposed solution that _could_ have been a false positive due to rounding error, then verified it through exact mathematical methods.