I wonder if you can train a neuronetwork to have the kind of intuition Ramanujan... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

chucknthem on Oct 22, 2024 | parent | context | favorite | on: Math is still catching up to the genius of Ramanuj...

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 on Oct 22, 2024 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact