Machines may eventually have mathematical intuition
The incompleteness theorems only show that a machine can't be proven to possess mathematical intuition—not that machines can't in fact possess mathematical intuition.
To the extent that machines are limited by Gödel’s theorems, humans are too. Neither humans nor machines can formulate all of their mathematical intuitions.
It's in the nature of mathematics to be incompletable.
Kurt Gödel (1951).
Note: Also see, the "Does Gödel’s theorem show that a mathematical insight is not algorithmic?" arguments is on this map.