whether the original authors would have produced their work without building off from the work of other mathematicians.
That's rhetorical, right? Of course mathematicians built on what older mathematicians built and OpenAI's machine built on that. The real question whether OpenAI's machine has contributed something others will in turn build on.
Not saying I agree with the view, but something along those lines popped up when the Naive Stokes conjecture was seemingly solved (and way before when Open AI began solving Olympiad level problems and so on with their older class of models). Personally, I do see both sides of the argument. Though the broader impact remains to be seen.
> The real question whether OpenAI's machine has contributed something others will in turn build on.
This has already happened.