« Il y a une perception de comportement de mafieux. » La phrase n’est pas d’un troll de forum ni d’un compte anonyme. Elle vient d’un mathématicien, cité par Wired, et elle vise les grandes boîtes d’IA. Le problème, c’est que quand un mec qui passe sa vie sur des preuves te dit ça, il ne parle pas de gros bras en costard. Il parle de la manière dont on débarque chez lui avec 722 manuscrits et un modèle que personne d’autre ne peut faire tourner.
On en parlait pas plus tard qu’hier dans notre article sur l’IA qui torche un problème du millénaire et fout le feu chez les matheux. Sauf que cette fois, c’est pas un résultat isolé. C’est un barrage.
Le chiffre qui fait mal
Reprenons le tableau de chasse. OpenAI a publié le 6 octobre un lot de 722 manuscrits, regroupés en 372 familles de résultats. D’après Latent Space, ça couvre les solutions à 90 des 500 problèmes ouverts considérés comme les plus chauds du domaine. Le tout sorti d’un modèle de frontière interne, donc pas encore dispo, avec les formalisations Lean et les détails poussés sur GitHub.
Et là, le titre de Latent Space lâche la bombe : « le moment le plus significatif des 100 dernières années des mathématiques ». Respire. Un instant. Les mecs qui écrivent ça ont mal au crâne, et on les comprend. Sauf qu’un communiqué qui place sa propre annonce au niveau d’un Hilbert ou d’un Grothendieck, faut le prendre avec la pincette habituelle. Le tweet est gratuit, la vérification l’est moins.
Le vrai point, c’est la méthode. 722 papiers déversés d’un coup, ce n’est pas une publication scientifique. C’est un largage. Et quand tu largues, tu ne prends pas le temps de discuter avec ceux dont tu bouscules la carrière, les conventions et les financements.
Le vol de crédit, nouvelle religion
Le nerf de la guerre, ce n’est pas la véracité des preuves. C’est à qui on les attribue. Un modèle interne que seul OpenAI peut lancer, ça veut dire quoi pour la reproductibilité ? Le monsieur qui a bossé quinze ans sur une conjecture ouverte se retrouve avec un résultat tombé du ciel, signé par une entreprise qui n’a jamais mis les pieds dans son labo. Forcément, ça agace. « Comportement de mafieux », donc, pour reprendre le mot du mathématicien anonyme. La formule est forte. Mais quand tu ne préviens pas, que tu noies le comité de lecture sous les preuves et que tu gardes la clé du moteur, tu ne t’étonnes pas de la réaction.
Meta arrive par la porte du salon
Pendant ce temps, chez Meta, on joue une autre partition. Muse Spark a aidé des chercheurs à répondre à cinq questions mathématiques ouvertes, mais via sa fenêtre de chat classique, avec des experts humains qui guident et vérifient le travail. Cinq résultats contre 90. Vu comme ça, c’est le petit poucet.
Sauf que le petit poucet a un truc que le géant n’a pas : la mécanique est visible. Tu peux refaire le trajet, tu vois ce que le modèle a proposé, tu vois où l’humain a corrigé. C’est moins spectaculaire. C’est aussi beaucoup plus digeste pour une communauté qui n’a pas envie de se faire rouler dessus.
La question qu’on esquive
Ce que personne ne dit franchement, c’est que la valeur d’un résultat mathématique ne tient pas qu’à sa vérité. Elle tient au chemin, à la preuve compréhensible, à l’humain qui la porte. Une usine à sortir 722 manuscrits peut impressionner un board et un journaliste pressé. Elle ne remplace pas la lente digestion d’une idée par des gens qui la comprennent.
Alors oui, c’est spectaculaire. Oui, 90 problèmes ouverts en un week-end, ça fait un titre de folie. Mais tant que la boîte garde le moteur dans son coffre et que les matheux découvrent les résultats en même temps que la presse, on ne parle pas de science. On parle de rapport de force. Et un rapport de force, ça se négocie, ça ne se publie pas à minuit sur GitHub.
Sources :
Comments are closed