Hacker News Reader

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

View on HN

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.

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

Reply on news.ycombinator.com