Comment by ddxv
8 hours ago
They shouldn't be depressed. This all needs humans to go over and integrate into other works, and most importantly think about the next big questions.
8 hours ago
They shouldn't be depressed. This all needs humans to go over and integrate into other works, and most importantly think about the next big questions.
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.
9 replies →