According to CoinMeta, OpenAI denies using the work of other researchers in its claimed mathematical breakthrough. The company claims that its AI has solved the Navier-Stokes Millennium Problem and that it has been proven through Lean verification. Mathematician Tristan Buckmaster accuses OpenAI of adopting this method after becoming aware of their team's progress, while OpenAI denies using their work. Currently, mathematicians are still evaluating this result and its competing claims.