Comment by johnisom2001
7 hours ago
Don't worry, next month's internal model will be able to posit all the next big questions that matter.
7 hours ago
Don't worry, next month's internal model will be able to posit all the next big questions that matter.
How?
It might as well happen, similar to how AlphaGo was superseded by AlphaZero, at some point a model might produce better math if it's trained through self-play where it poses its own problems, instead of looking for open problems in literature.
What's the objective function or RL environment for "interesting conjecture"? Not saying it can't be done - I no longer have any specific task that I'm confident AI won't be able to do - but I don't see how. It feels to me like something that would require a qualitatively new approach.
8 replies →