It's interesting, what would be Tao's views on the creativity question. Like, I don't find the empirical observation of LLMs now, the notion these proofs are mostly "just" sophisticated grinding, to be a strong indicator of what could/couldn't happen.