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.