These errors were discovered by human mathematicians