> 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.