Mathematicians want proof OpenAI didn’t use their work

Mathematicians are questioning whether OpenAI used their work without permission or proper attribution. A dispute has erupted over OpenAI's claim that its internal artificial intelligence system solved the Navier-Stokes existence and smoothness problem, a Millennium Prize Problem. According to OpenAI, its model produced a proposed solution after an intensive effort involving 10,000 AI agents, generating 2.7 million agent messages and 130 billion output tokens.

The company's claim has triggered concerns among mathematicians, including Andreas Thom, who raised concerns that interactions he and his colleagues had with the ChatGPT chatbot may have contributed to OpenAI's success in the field. OpenAI released a technical write-up and a formalised proof in Lean, but the result has not been formally recognised as a solution to the problem by the Clay Mathematics Institute.

The Institute requires any proposed solution to be published in a qualifying outlet, survive at least two years of rigorous scrutiny, and gain general acceptance in the global mathematics community before awarding the $1 million prize. According to The Verge, a second mathematician has accused OpenAI of unethical and dishonest behavior and a lack of transparency about the origins of its training data.

Brief written by urgent.news from The Verge, Arabian Post — 2 reports on this story. Machine-written — may contain errors; check the original before relying on it.