I usually find myself lurking around when Americans discuss this topic. I like to imagine I'm an Anthropologist/Time-traveler that travelled back in time to the witch trials and is trying to blend in not to get caught by the villagers.
The Navier-Stokes proof cost ~10mio USD in tokens at consumer prices, and it was something that the two people working on it were allegedly weeks or months away from solving. You can buy ~200 Math PhD Years for 10Mio USD, so it doesn't seem like a shortcut at all (actually it sounds like we would have gotten the same solution for ~1-0.1% of the price if we had just been a little patient.
We weren't willing to pay for 200 math PhD students to try to find singularities in Navier-Stokes, I am skeptical of how much we would be willing to pay OpenAI to do research on "niche scientific areas"?
