# OpenAI Navier–Stokes solution claim

A Nature news report says OpenAI announced on 8 September that its AI model solved the Navier–Stokes problem in fluid dynamics and verified the proof using the Lean language, while mathematicians Tristan Buckmaster and Levent Alpöge say they had already been working on the problem with OpenAI and Anthropic tools and Andreas Thom says his discussions about non-sofic groups resembled OpenAI's later approach, prompting an open letter from 25 Fields Medal winners and wider debate about credit and training-data provenance in the AI era.

A Nature news report says OpenAI announced on 8 September that its AI model solved the Navier–Stokes problem in fluid dynamics and verified the proof using the Lean language, while mathematicians Tristan Buckmaster and Levent Alpöge say they had already been working on the problem with OpenAI and Anthropic tools and Andreas Thom says his discussions about non-sofic groups resembled OpenAI's later approach, prompting an open letter from 25 Fields Medal winners and wider debate about credit and training-data provenance in the AI era.