I am an anti-platonist but still think its reasonable to say one discovered a mathematical fact. All this amounts to is discovering that you can reach a sentence in a formal language using the rules of the language and the axioms. One can believe that a recipe for pancakes exists without believing it does so via participating in an unseen ideal world.