This proves solving open problems in Mathematics were a search problem.
But it might be not good for human brains, because we trained our brains with these problems and our brain optimized search space in some ways, and yes, we also couldn't solve some these problems.
Now imagine someone gets stuck with a problem which could become its own theory, but they will solve it with LLMs and move on to solve their primary problem, because they don't realize how other problem was a big deal. If theory is not formalized, then it won't contribute to the search space for other person, solving different problem.
All in all:
* people's brain will be shaped differently
* we will lose search space optimizations in our brains
* we lose new theory contributions, which increases the search space to help solve other problems
But it might be not good for human brains, because we trained our brains with these problems and our brain optimized search space in some ways, and yes, we also couldn't solve some these problems.
Now imagine someone gets stuck with a problem which could become its own theory, but they will solve it with LLMs and move on to solve their primary problem, because they don't realize how other problem was a big deal. If theory is not formalized, then it won't contribute to the search space for other person, solving different problem.
All in all:
* people's brain will be shaped differently
* we will lose search space optimizations in our brains
* we lose new theory contributions, which increases the search space to help solve other problems