The question for me is, would OpenAI have been able to solve this without Hong Wang's work?
The proof uses completely different methods as what harmonic analysts used for the Kakeya conjecture prior so probably yeah.
Would Hong Wang would have been able to do his work without previous physicists work? That's the real question!
Yes. The all-dimension result follows a completely different approach from that of Wang and Zahl.
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.