Isn't the problem more like they did discover a new land (as in, the proofs are true, and the solutions are validateable) but we have no idea how to make heads or tails of how they discovered it.