5 ms·
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
by dharma1 2y ago
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 2y agoI 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 2y agoprobably 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-at-silver-medal-level/ https://deepmind.google/discover/blog/ai-solves-imo-problems... But it's still fairly brute force and inefficient