Ingenious machine's no better than a moronic one
A moronic machine can't extract itself from the Gödel predicament, even if it's given an infinite amount of time. Neither can an ingenious machine extract itself, because it only works faster than the moronic machine.
An ingenious machine may display some mathematical insight—ie it may be able to see shortcuts to proofs—but it still can't recognise the truth of its own Gödel sentence.
Argument anticipated by J. J. C. Smart (1961).