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?