> Like some of this repo, I know came from correlation of information not connected before (like the quasi-Riemann result).

We give Fields medals to people who do things like that. There's no particularly good reason to bury your head in the sand and pretend AI is different. It's not surprising that the first big discoveries involve standing on the shoulders of previous researchers and their work. When work is described as "new" in some way, that's usually all we mean by it.