[dharma1]

probably but we don't know how to build that type of intuition. in humans or in machines.

AlphaProof does do some kind of neural network guided search and automated theorem proving to validate it https://deepmind.google/discover/blog/ai-solves-imo-problems...

But it's still fairly brute force and inefficient