Those are simply called ideas, they are not unique to humans, and they are more likely to be wrong than right compared to anything OpenAI just produced. It would be bold and almost certainly spectacularly wrong to assume that multi-trillion-parameter AI models could not possess their own such ideas, generated during the training process as part of their internal model of the world. Beyond that, if we assume that such knowledge does exist in humans, its marginal value is clearly nearly zero now, as AI systems without access to it are vastly outperforming all human mathematicians combined by multiple orders of magnitude.

> Beyond that, if we assume that such knowledge does exist in humans, its marginal value is clearly nearly zero now

"If those grapes exist they are probably sour."

Nope. We have evidence: what human mathematicians were producing and what AI systems are now producing.