OpenAI announced on Tuesday that one of its models produced a solution to the Navier-Stokes problem, one of the seven Millennium Prize problems, each carrying a one-million-dollar reward, with a formal proof verified in Lean. Within twenty-four hours, the feat disappeared under a fight over authorship.
Tristan Buckmaster, of New York University, accuses the lab of racing onto his turf after learning of his research project. Sebastian Bubeck, who leads mathematical research at OpenAI, is said to have demanded the removal of a co-author, Levent Alpöge, a researcher at Anthropic.
A machine may have started to crack a problem that stayed open for nearly ninety years, and the first battle is over the names at the bottom of the page. That battle is coming to your workplace soon, in a quieter form.
The moment a model drafts a contract, a piece of code, an analysis note, the same question arises: who is the author, what the machine produced, what the human validated, who answers for it.
A review published this week in IEEE Spectrum shows it on the software side: generated code looks clean on the surface and hides errors that only appear after deployment, to the point that teams are rewriting how they review. Validation work becomes the real work.
The skill that gains value in a French organisation is tracing the provenance of AI-assisted work. Take a deliverable that commits the company: a contract, a report handed to a client, a reasoned decision.
Write down what the model produced, what a human reworked and checked, and name the person who signs it. A signature commits you: it assumes you know what you are signing.
This reflex already exists in accounting, where you keep a record of who entered a figure and who approved it. Text, code and analysis join the list of materials whose origin has to stay legible.
The mathematicians' debate seems far from your offices. It raises the question every team will meet: when production costs almost nothing, value moves to what can be verified and attributed.
A proof with no recognised author is worth no more than a false proof. Neither is work with no provenance.
The Masteria editorial team.