I could be fully wrong here as I am not from the field. But how is this different from let's say a ramanujan-like genius dumping a bunch of solved problems with not yet understandable ways of getting there?
It seemed riveting enough for some mayor mathematicians to "decode" his solutions into readable proofs?
The only difference I spot now is that it was not an Indian man, but a machine. If that bothers you still, it seems less about the art of the craft being taken as it seems to be about who has taken it?
The difference is partly that in your hypothetical the man who solves the problems doesn't become a commodifiable tool. It doesn't become possible to increase your spending on him to solve a problem. It would be recognized that he is in a category by himself (and hopefully a better writer than the models) and therefore would not change how others do their work. The list of differences could go on and on.
AI will be much more powerful than ramanujan. ramanujan is just one person with limited energy, but many instances of AI agent can work in parallel and attack all open problems at once
It seemed riveting enough for some mayor mathematicians to "decode" his solutions into readable proofs?
The only difference I spot now is that it was not an Indian man, but a machine. If that bothers you still, it seems less about the art of the craft being taken as it seems to be about who has taken it?