Comment by ramraj07

Seems to be it, though Im not particularly concerned about this problem personally.

The fact that we all readily accept that modern AI systems can likely solve any math problem that no living genius can, tells me that no task is beyond this system we just need the right harness around it. The exhaustion of meaningful math problems to motivate mathematicians minds seems to be the least of my worries at that point.

Inb4 someone suggests that this is not proof that these AIs generalize, I agree thats a popular opinion, but both sides are merely that, with no possible way to prove. I will wallow in my existential dread while you do whatever it is that gives you comfort.