Hard disagree. If we send someone out exploring and they discover something (maybe?) but their account of their journey is impossible for anyone else to follow and contains obvious hallucinations, what have we gained?

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.