These computational advances in AI are good. However, I am still waiting for AI to "synthesize" knowledge that is as yet undiscovered through a combination of t

These computational advances in AI are good. However, I am still waiting for AI to "synthesize" knowledge that is as yet undiscovered through a combination of theorem proving, reasoning, AI search techniques and so on. It is not just AI "explainability" but techniques for exploration and fact-finding. For eg: could an AI system prove or disprove P=NP. It is a little premature to dismiss human endeavor while such large gaps in our epistemic knowledge exist.