OpenAI annonce mardi qu'un de ses modèles a produit une solution au problème de Navier-Stokes, l'un des sept problèmes du millénaire dotés d'un million de dollars chacun, avec une preuve formelle vérifiée en Lean. En vingt-quatre heures, l'exploit disparaît sous une querelle de paternité.
Tristan Buckmaster, de l'université de New York, accuse le laboratoire d'avoir couru sur son terrain après avoir eu vent de son projet de recherche. Sebastian Bubeck, qui dirige la recherche mathématique d'OpenAI, aurait réclamé le retrait d'un co-auteur, Levent Alpöge, chercheur chez Anthropic.
Une machine a peut-être entamé un problème resté ouvert près de quatre-vingt-dix ans, et la première bataille porte sur les noms au bas de la page. Cette bataille arrive bientôt chez vous, en plus discret.
Dès qu'un modèle rédige un contrat, un bout de code, une note d'analyse, la même question se pose : qui en est l'auteur, ce que la machine a produit, ce que l'humain a validé, qui en répond.
Une revue parue cette semaine dans IEEE Spectrum le montre côté logiciel : le code généré paraît propre en surface et cache des erreurs qui n'apparaissent qu'après le déploiement, au point que les équipes réécrivent leur manière de relire. Le travail de validation devient le vrai travail.
La compétence qui prend de la valeur dans une organisation française est de tracer la provenance du travail assisté par IA. Prenez un livrable qui engage l'entreprise : un contrat, un rapport remis à un client, une décision motivée.
Écrivez ce que le modèle a produit, ce qu'un humain a repris et vérifié, et nommez la personne qui le signe. Une signature engage : elle suppose qu'on sache ce qu'on signe.
Ce réflexe existe déjà pour la comptabilité, où l'on garde la trace de qui a saisi et qui a validé. Le texte, le code et l'analyse rejoignent la liste des matières dont l'origine doit rester lisible.
Le débat des mathématiciens semble loin de vos bureaux. Il pose pourtant la question que chaque équipe va rencontrer : quand la production ne coûte presque plus rien, la valeur passe dans ce qu'on peut vérifier et attribuer.
Une preuve sans auteur reconnu ne vaut pas mieux qu'une preuve fausse. Un travail sans provenance non plus.
L'équipe éditoriale Masteria.
