Most accepted math already has heuristic arguments

Most claims mathematicians believe true (like the Riemann hypothesis) already have fairly compelling informal heuristic arguments — the Riemann hypothesis should hold unless the primes have some surprising periodic structure — so formalizing heuristic estimation would not shock mathematicians, though perhaps 10% of accepted compelling heuristic arguments would turn out not quite right if formalized.