BREAKING: OpenAI Denies Using Other Researchers' Work in Claimed Math Breakthrough

OpenAI is denying allegations that it used other researchers' work in its claimed solution to the Navier-Stokes Millennium Problem, according to Scientific American. The company says its AI's proof was verified using Lean.
Mathematician Tristan Buckmaster alleges OpenAI adopted a method after learning of his team's progress, a claim OpenAI denies. Mathematicians are still assessing the result and the competing claims.