Controversy over OpenAI's Maths Breakthrough

> Leven and Tristan worked over several months on one of the Millenium Prize Problems with various AIs to reach final interesting results. OpenAI apparently heard about it in the last days and prompted their latest models to work on the direction Leven and Tristan found fruitful. They then tried to push for controlling communication of the result and dropping Leven from authorship with some very bad taste social pressure.

(1) https://x.com/Thom_Wolf/status/2097215782484607029

(2) https://mastodon.social/@tristanbuckmaster/11723341370570119...

Enumeration of syntax patterns when rules restrict legal syntax patterns can be done without LLMs

The data center cartel that sprang up over the last 20 years is desperate to not have their entire social moat go up in smoke

https://news.ycombinator.com/item?id=49613262

https://news.ycombinator.com/item?id=49605915

For NS equations, they are trying to model something that is discrete (i.e molecules colliding) in a continuous manner. You can easily think of a condition where they fail - imagine a vaccum where there is sufficient space between air molecules, so that collisions aren't always possible. NS won't be able to predict the state of the fluid in every single point in space.

In practice, when you do CFD, no package uses direct differential simulation of NS equations, you usually have simpler approximations that are good enough for the space you are working for. And if you want accuracy, you usually do something like LBM which simulates particle collisions using probability distributions.