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.
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 →