Have you got a link to someone pointing it out? It looks like they're still going through formal proofs so likely found the problems that way.