alt Hacker NewsSo we can let the ai generate some math problems based on the solutions found? Other fields (computer science, physics, ...) can generate math problems too.
So we can let the ai generate some math problems based on the solutions found? Other fields (computer science, physics, ...) can generate math problems too.
There's an infinite number of possible math problems, but the things that make these open problems worthwhile is they're interesting to people who have worked in related areas.
They're good to give to new mathematicians, and they're good to help humans understand the shape of the problem space and relative difficulty with the tools we have.
Cheesing these problems with LLMs gets rid of both the training benefit and our ability to create good related problems. There's an aesthetic part of this, too, that LLMs do not capture.