Did I say they don't? What I implied is that humans have other ways of thinking than trying stuff until something sticks, not that they never do that.
How do you think mathematicians came up with those open problems and conjectures - trying stuff until they came up with one that passed their "interesting conjecture" check? What was that check? Can you code it in Lean? Can ChatGPT? Have you seen an LLM come up with one?
> Its a matter of time...
No it isn't, and by saying that I've given as much reason to think I'm right as you have.