OpenAI claims blockbuster math breakthrough amid swirl of controversy
Prior to the announcement, rumors were circulating online among mathematicians over the proof’s origins—OpenAI has denied all allegations
OpenAI announced a groundbreaking mathematical discovery regarding the Navier-Stokes equations, one of the seven Millennium Prize Problems. The company claims that its internal model has proven that the equations can "blow up," meaning they allow for infinite fluid speeds in certain situations, which is physically impossible. This breakthrough follows an allegation by mathematician Tristan Buckmaster who claimed OpenAI had used a specific method to solve a related problem after learning of Buckmaster and his colleague's work.
OpenAI has denied these allegations, stating that their proof was developed independently using a method called "forcing." The proof was certified using the Lean programming language to ensure its accuracy. Some members of the mathematical community have expressed shock at the news, emphasizing the importance of rigorous verification and fact-checking in the era of viral misinformation.
Written by urgent.news from Scientific American's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.