I'm not aware of anyone disputing that AI solved NS. As far as I'm aware, the controversies are about how useful of a result forced blowup is, whether the model built off of unpublished work by Buckmaster, and the ethics of essentially trying to scoop him. All of those are very valid concerns, and none of them affect the fact that AI solved a difficult open math problem.
If you really want to dispute this, go ahead and pick any of the other dozens of less controversial open math problems solved by AI.
If you really want to dispute this, go ahead and pick any of the other dozens of less controversial open math problems solved by AI.