Un million de dollars de récompense. Quinze millions de dollars de facture. Rapport qualité-prix : désastreux. OpenAI annonce avoir « craqué » un problème du millénaire — comprenez l'un des sept casse-têtes à 1 million de dollars posés en 2000 par le Clay Mathematics Institute. Vingt-cinq ans que ça résiste. Et il aurait fallu 10 000 agents IA lancés en meute pour, dit-on, venir à bout de l'un d'entre eux.
Les mathématiciens, eux, encaissent. « Immature playground boasting », lâche l'un d'eux. Traduction libre : de la vantardise de cour de récréation. Voilà où on en est.
Le scalp, pas la démonstration
Attention au vocabulaire. OpenAI ne publie pas une preuve vérifiée : OpenAI déclare. Nuance que les dépêches avalent goulûment parce qu'elle fait de bons titres.
Aucune revue par les pairs. Aucun preprint qui circule. Aucune vérification indépendante. Juste une annonce, un chiffre qui claque — 10 000 agents — et un autre qui fait mal — 15 millions. En mathématiques, un résultat n'existe pas parce qu'une entreprise à la valorisation proche du billion de dollars l'affirme. Il existe quand d'autres humains, hostiles et compétents, ont tenté de le démolir et ont échoué.
10 000 agents pour éviter d'avoir une idée
Voilà le vrai sujet. Pas l'intelligence : la force brute industrialisée. Là où un mathématicien cherche l'angle, la structure cachée, le truc élégant, on lâche une armée de processus autonomes jusqu'à ce que quelque chose tombe. C'est la différence entre crocheter une serrure et défoncer le mur au bulldozer. Même résultat. Facture radicalement différente.
Et on ne sait rien de ce qui a été réellement produit : une preuve complète ? un squelette d'argument troué ? une conjecture reformulée pour avoir l'air neuve ? « Craqué » est un mot de marketing, pas un mot de mathématiques.
Quinze millions pour un trophée qu'on ne peut même pas encaisser
Suivons l'argent, il est toujours bavard. Coût estimé de l'opération : 15 millions de dollars. Prime en jeu : 1 million. Et OpenAI, entreprise privée, n'y est de toute façon pas éligible — le prix Clay se remet à des humains, pas à des centres de données. L'entreprise a donc probablement dépensé quinze fois la récompense pour un trophée qu'elle ne peut pas empocher.
À moins que le trophée ne soit pas le prix. Le trophée, c'est le titre. Le scalp. Quinze millions, c'est moins cher qu'un spot de Super Bowl pour dire « on a battu les mathématiciens ».
Perelman, lui, n'a rien facturé
Rappel historique pour les services marketing. Sur les sept problèmes du millénaire posés en 2000, un seul est tombé : la conjecture de Poincaré. En 2003, Grigori Perelman en publie la démonstration — seul, sur arXiv, gratuitement, sans communiqué. En 2010, le Clay Institute lui attribue le million. Il refuse. Il avait déjà refusé la médaille Fields en 2006. Pas de cluster, pas de campagne de presse, pas de facture.
Voilà la comparaison que personne chez OpenAI n'a envie d'entendre. La classe ne se mesure pas en térawatts.
Alors publiez
Que des IA fassent progresser les mathématiques : très bien, sincèrement. Que ça secoue les ego et les hiérarchies d'un milieu notoirement conservateur : encore mieux. Mais une annonce non vérifiée n'est pas un résultat, une facture n'est pas une preuve, et un « ça y est, on l'a » n'a jamais fait avancer une seule démonstration.
Petite requête aux intéressés : preprint, démonstration, code, traces. Laissez les mathématiciens faire leur travail — c'est-à-dire essayer de vous casser. Si ça tient, vous aurez gagné quelque chose qui ne s'achète pas. Sinon, vous aurez dépensé 15 millions en bruit.