The question for some is, is whether the original authors would have produced their work without building off from the work of other mathematicians.

(which is somewhat valid). Though I think a far more interesting thing would be whether AI given the corpus of 19th century mathematics and physics reproduce what Ramanujam or what Einstein did.

The proof uses completely different methods as what harmonic analysts used for the Kakeya conjecture prior so probably yeah.