Topic
Norms and disputes over authorship, priority and acknowledgement in scientific work, including cases where AI systems contribute to a result.
OpenAI says its new nine-member mathematics advisory group will not advise on the pace of its internal research, and the group's own website says the decisions rest with the AI companies.
Reality
The declaration lands three days after OpenAI's Navier-Stokes claim, in the middle of a credit dispute where the company and the mathematician at the center give accounts that cannot both be right.
Reality
Their joint statement argues that famous open problems were only ever a proxy for understanding, and that benchmarks miss the years of talks and simplifications that follow a proof.
Perspective Coverage
3 publishersReality
Tristan Buckmaster says OpenAI accelerated onto Navier-Stokes after learning of his work with Anthropic's Levent Alpoge, and that the answer he got about his prompt history addressed lookup rather than training.
Reality
OpenAI says tens of thousands of agents solved a 90-year-old problem carrying a $1 million prize. The solution still needs independent verification, and a rival pair of mathematicians has a claim on the credit.
Reality
The Navier-Stokes result cost more in compute than the Clay Institute's award, and the interesting line in OpenAI's blog post is the one conceding it cannot rule out that customers' de-identified prompts helped.
Reality
A mathematician kept a year of unpublished drafts in Codex, then asked whether they had been used for training and got silence on that half of the question, which is the half every enterprise rollout treats as settled.
Reality