Douze mois. C'est le temps qu'il a fallu à OpenAI, Anthropic et leurs épigones pour transformer une discipline de trois mille ans en zone de chantier. Des percées annoncées sur des problèmes ouverts depuis des décennies, et même — roulement de tambour marketing — la résolution d'un des sept problèmes du millénaire. Sauf que le Clay Mathematics Institute, gardien des 7 prix à 1 million de dollars chacun, n'a toujours rien validé. Pas de publication en revue à comité de lecture. Pas de vérification indépendante. Juste des threads et des billets de blog.
Le bulldozer, ou l'art de confondre vitesse et preuve
En mathématiques, la preuve n'est pas un argument commercial. C'est le produit. Un théorème n'existe qu'après avoir été lu, démonté, attaqué et reconstruit par des pairs qui n'ont aucun intérêt financier à le laisser passer. Les labos ont inversé l'ordre : annoncer d'abord, vérifier ensuite, s'excuser si ça coince.
On appelle ça « move fast and break things ». Dans un secteur où « break things » veut dire « publier un faux théorème », on appelle plutôt ça du vandalisme. Résultat : des résultats qui auraient mérité une ovation déclenchent des bordées d'insultes. Cherchez l'erreur. Ou plutôt, cherchez qui a décidé de court-circuiter la communauté scientifique pour soigner un tour de table.
Les mathématiciens, stagiaires non rémunérés de la Silicon Valley
La question qui fâche : avec quoi ces modèles ont-ils appris ? Des articles, des preuves, des polycopiés, des monographies — produits par des générations de chercheurs, souvent financés par de l'argent public, déposés sur des serveurs universitaires. Absorbés gratuitement, sans contrat, sans licence, sans un centime.
Puis la machine « découvre » quelque chose, et c'est le labo qui signe le communiqué de presse. Les ayants droit ? Des noms dans une bibliographie, quand ils ont de la chance. Et quand la communauté demande poliment à voir les traces d'entraînement, elle obtient du mutisme commercial. Vous vouliez la science ouverte ? Elle était ouverte. Elle est maintenant votre produit propriétaire.
« On apprend de nos erreurs » : la phrase la plus chère du secteur
Les labos jurent qu'ils ont retenu la leçon. Qu'ils vont consulter des mathématiciens éminents. Qu'ils vont faire preuve de prudence. Traduisez : ils ont compris qu'un backlash coûte plus cher qu'un communiqué tardif. Ce n'est pas de la déontologie, c'est de la gestion de réputation. La preuve ? Ces mêmes entreprises n'ont pas attendu l'avis des pairs pour transformer leurs annonces en argumentaire de levée de fonds.
Un comité consultatif d'élus, ça s'achète en un après-midi. Un théorème vérifié, ça prend des mois. Devinez lequel des deux figure au calendrier.
Qui se goinfre, qui trinque
D'un côté, des sociétés valorisées des centaines de milliards, dont le récit repose sur l'idée qu'elles effacent la frontière de la connaissance humaine. De l'autre, un institut qui promet 1 million de dollars par problème du millénaire — somme dérisoire au regard des enjeux annoncés, et qui n'a toujours pas trouvé preneur sur ce dossier.
Le vrai transfert de valeur ne se joue pas là. Il se joue dans le pillage silencieux d'un commun académique, transformé en corpus d'entraînement, puis en avantage concurrentiel, puis en mythe fondateur. Les maths fournissent la matière première gratuitement. Elles recevront en échange une ligne de remerciements, si le département communication est de bonne humeur.
Un message aux intéressés
Messieurs d'OpenAI, d'Anthropic et consorts : déposez vos démonstrations en revue. Laissez des gens hostiles les déchiqueter pendant six mois. Publiez les données d'entraînement et indemnisez les auteurs. Ensuite, on causera. D'ici là, « percée » veut dire « communiqué », et « problème du millénaire résolu » veut dire « on n'en sait rien ».
Les mathématiques n'ont pas besoin d'un bulldozer. Elles ont besoin de vérificateurs. Vous en avez brûlé quelques-uns en chemin — et ça, aucun benchmark ne le réparera.