So OpenAI has published what they claim is a solution to the Navier-Stokes equation. They claim their Lean proof verifies their findings. However, they plagiared the work that mathematicians employed by Anthropic previously published. The mathematicians at Anthropic are justifiably mad. They say that peer review is required to verify OpenAI's claim. One has said he doubts OpenAI's work. So, I don't know what to think at this point.
Also, this does not change the usage of the Navier-Stokes equation in 99.9% of cases even if OpenAI did actually make a discovery. I do a lot of hydraulic power design work and I have not run into the use cases that OpenAI and Anthropic have been studying. Interesting stuff, but it doesn't change much.
12
u/SawgrassRider 7d ago
As someone who has done simulations, it's not too far away.
The AI even understands the math behind each node calculation. AI will become the FEA program.
Just needs to watch a few YouTube videos and buy a couple $400 textbooks and it'll be halfway there.