The very first paragraph of the article says (emphasis mine):

> At present, some frontier AI labs are testing advanced mathematical problems on proprietary models that remain inaccessible to the broader scientific community. Our recommendations are formulated with this practical context in mind.

The Navier Stokes proof came from an internal model that AFAIK still has not been released even in a limited way to scientists, let alone to the general public. Publicly available models are not what these mathematicians are talking about.

This is an extremely privileged take. Most of the world cannot spend thousands of dollars a year on this.

Air is both free as in beer and free as in freedom. Proprietary language models are neither.

Why are you confusing the substance/field with the tools to use it? He said air is free which is correct. You and parent are complaining that air compressors cost money and are proprietary.