Sept problèmes. Un million de dollars chacun. Vingt-cinq ans. Un seul résolu. Et voilà qu'OpenAI débarque avec une revendication, un joli graphique et une histoire à raconter à ses investisseurs. Bienvenue dans le Far West épistémologique : ici, on ne démontre plus, on annonce.
Le règlement, ce détail emmerdant
Rappelons la paperasse, parce qu'elle a le mauvais goût d'être écrite noir sur blanc. Les sept problèmes du millénaire ont été posés en 2000 par le Clay Mathematics Institute, fondation privée financée par un banquier de Boston, Landon T. Clay. Pour toucher le million, il ne suffit pas d'avoir raison. Il faut : une publication dans une revue à comité de lecture de réputation mondiale, puis deux années d'attente après publication, le temps que la communauté épluche la preuve, la casse, la teste, échoue à la casser.
Autrement dit : l'exact contraire de la méthode OpenAI. Pas de conférence de presse. Pas de fil social. Pas de musique épique sur une vidéo de démonstration. Le règlement exige la chose que la hype fuit le plus — du temps et des gens compétents qui ne travaillent pas pour vous.
Perelman, le fantôme qui vous nargue
Grigori Perelman. 2002-2003. Trois prépublications sur arXiv, pas une de plus, la conjecture de Poincaré, point final. Le seul être humain à avoir franchi la ligne d'arrivée du millénaire. En 2006, il refuse la médaille Fields. En 2010, il refuse le million. Motif : « Je n'ai pas besoin de plus. »
Voilà l'étalon. Un type en survêtement, dans un appartement de Saint-Pétersbourg, qui envoie chier l'argent et la gloire parce que le problème l'amusait. Face à ça, la grand-messe trimestrielle du Valley circus ressemble à ce qu'elle est : du papier cadeau autour d'un vide.
Qui paie, qui encaisse
Suivons l'argent, c'est toujours là que ça sent. Microsoft a mis plusieurs dizaines de milliards sur la table. Les centres de calcul coûtent des sommes qui feraient pâlir un PIB. Une valorisation à trois chiffres de milliards ne tient pas sur des abonnements à 20 balles par mois — elle tient sur une croyance : celle que la machine pense, découvre, révolutionne.
Les mathématiques sont le dernier territoire non colonisé. Le plus pur, le plus vérifiable, le plus prestigieux. Impossible de tricher : un théorème tombe. Donc c'est le meilleur support narratif du marché. Chaque annonce « math » ne coûte pas un million. Elle en rapporte mille fois plus en valorisation. Le prix du millénaire n'est pas un trophée, c'est un argument de vente.
Les mathématiciens, ces gêneurs
Ils ont passé dix, vingt, trente ans sur ces problèmes. Ils publient, ils citent, ils remercient, ils reconnaissent la contribution du petit doctorant qui a trouvé le lemme décisif. Ce sont des normes vieilles d'un siècle, et elles ont un but : rendre la vérité vérifiable par n'importe qui, n'importe où, sans faire confiance à personne.
Puis arrive un acteur qu'on ne peut pas citer dans une bibliographie, qui ne remercie personne, dont on ne sait pas exactement ce qu'il a lu — et qui a très probablement lu leurs articles. Pour s'entraîner. Le malaise décrit par les chercheurs n'est pas de la jalousie de mandarin. C'est le réflexe sain d'une communauté qui reconnaît un bulldozer quand il traverse son campus.
Publie, ou la ferme
Vous avez la preuve ? Déposez-la. Sur arXiv, sans embargo, sans teaser. Soumettez-la à une revue. Répondez aux rapporteurs, un par un, en encaissant les corrections humiliantes. Laissez passer les deux ans. Le million vous attend depuis un quart de siècle, il ne va pas s'enfuir.
Si vous ne le faites pas, alors ce n'est pas une découverte. C'est une campagne. Et les mathématiques, elles, ont déjà refusé le chèque une fois — pas parce qu'elles n'en voulaient pas, mais parce qu'elles n'en avaient pas besoin.