I was blown away by the possibility a LLM had made progress on the Navier Stokes equations, so I looked into it and
OpenAI's solution has yet to be verified independently or publicly accepted by The Clay Mathematics Institute, a maths organisation based in the US which runs the Millennium Prize that offers big money to the first to solve certain mathematical conundrums.
But the company's claim has already sparked a backlash.
Tristan Buckmaster, a mathematics professor at New York University, said on Tuesday that he and Levent Alpöge, a mathematician working for OpenAI rival Anthropic, had also been working on solving the problem.
The duo had been using OpenAI's tool Codex in their work. But Buckmaster said that on 3 September, he found out that "information about our progress had been passed to OpenAI".
Buckmaster's statement came the same day, but hours before, OpenAI published its Navier–Stokes work. He claimed that OpenAI did not begin working on the Navier–Stokes equations until "after information about our work had reached OpenAI". He included text from emails exchanged with OpenAI over the work and his questions of the company's timing and methods.
-- OpenAI says it cracked 90-year-old maths problem in 88 hour, BBC
Lol, lmao.
Breaking new grounds in plagiarism.
guys... grok is too powerful... grok is too world-changing...