[soupspaces]

Except you can't possibly know that. New insight can arise regardless of whether mathematicians are trying to prove or disprove a statement, and regardless of whether the statement ultimately turns out to be true or false.