This is just a general pattern: applied mathematicians are often using things pure mathematicians haven't proved to be true yet. The examples are widespread for the generalized Riemann hypothesis. There are statements we aren't sure about, but there's also a lot that we are sure about but not sure about the proof of.