I would rephrase it as: "Verification is not human knowledge", but that doesn't really matter. We are going to be several steps behind AI as it reaches a level of intelligence far beyond human capabilities, and we are not going to be able to catch up with it. It's like trying to beat AI at chess: we are bound to be left behind as AI continues to expand its knowledge in mathematics, physics, computer science, and other fields. Eventually, no human being will be able to reach that level of knowledge within their lifetime.

"Is science about humans achieving insight, or the archiving of verifiable solutions?"

I wonder if this dichotomy fully captures the value of scientific discoveries. One could argue that their practical impact can be independent of whether humans fully understand how they were reached.