Mathematical insight is not the important issue
Even if there's no algorithm for mathematical insight, the lack of one isn't crucial as insight isn't important to mathematics. Problems like Gödel’s theorem and the halting problem can be solved reliably by probalistic algorithms.
Whether or not they are solved by insight or not doesn't matter. Mathematics is grounded in its reliability, not in any particular kind of insight.
Daniel Dennett (1990).