[dharma1]

I often think about Ramanujan in the context of AI, if reasoning is type 2 thinking how did he (apparently) come across a lot of his ideas as intuitions

[chucknthem]

I wonder if you can train a neuronetwork to have the kind of intuition Ramanujan had. How incredible would it be for math discoveries. Then separate AIs to try and prove or disprove the insights.

[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