This is coming next. There's nothing particularly special about theory building. Successful theory building is always oriented towards solving a problem, because otherwise even humans can easily spam out a bunch of nonsense. This is a real problem that the math community has experienced on multiple occasions pre-AI. I'd go further and say that theory building is irrelevant if it doesn't help solve problems people care about.