Mathematics requires creativity. Conjectures do not arise from logic and rigor. If that were the case, they would never be wrong, and thus not require proof. If mathematicians don't come up with conjectures, then mathematics doesn't advance.

A formal system's territory is connected together by rigor; but whence comes the formal system itself? That has to be imagined.