> What about Tristan Buckmaster and Levent Alpöge, did they also attempt to solve the same challenge? Didn’t they know it wasn’t interesting?

Yes, they were working on what is considered a niche case, the option C from the millennium statement for Navier-Stokes. The article explains that clearly, you can just read it and get the details