If it's possible for a machine to produce a proof without intuition then clearly a human could also do it too. (And in fact I'd argue I've seen many people like that, simply very good at pattern matching over memorised items).
That doesn’t really read as good faith engagement in the discussion. At best, it reads as being so AI pilled that you can’t even fathom that others might want to have a little side discussion about something other than AI.
What is up with this whole sub thread of obvious hole digging?
Plus, I studied math, I am from that environment. His description matches how math is done by people.
People who are good at pattern matching and memorize are, frankly, shit mathematicians. They are find in fun culture around math, but rarely in actual math. They cant really do it as science.