Quand OpenAI inonde les maths de théorèmes, ce professeur réplique en musique
Mis à jour:
Le 10 octobre 2026, Joshua B. Plotkin — titulaire de la chaire Annenberg en sciences naturelles à l'université de Pennsylvanie — publiait un clip musical de près de cinq minutes avec pour tout commentaire ces quelques mots : « It saved some for you.
(One shot!) » Dès le lendemain, Ethan Mollick, professeur à Wharton et spécialiste reconnu de l'IA, relayait la vidéo avec une formule bien sentie : « Un mathématicien compose un clip avec Opus 5.5 en réponse aux démonstrations d'OpenAI. Brillant. » D'après Mollick, l'œuvre aurait été générée à l'aide de Claude Opus 5.5, le modèle phare d'Anthropic lancé le 22 septembre.
Le clip vidéo partagé par Joshua B. Plotkin (environ 4 min 53 s, 1080p)
Sur le papier, les faits vérifiables s'arrêtent là : un chercheur, une vidéo et deux phrases sibyllines. Pourtant, ce geste s'inscrit au cœur de la plus vive controverse qui secoue aujourd'hui le monde des mathématiques. Pour saisir la portée d'un simple clip érigé en prise de position, un retour sur le contexte s'impose.
Le coup de force d'OpenAI
Tout est parti d'une information révélée par The Decoder plus tôt en octobre : OpenAI a rendu publics plus de 700 manuscrits mathématiques rédigés d'une traite par un modèle développé en interne. L'entreprise avait déjà frappé un grand coup en prétendant que son système avait résolu plus de 100 problèmes mathématiques ouverts en un mois seulement, s'attaquant notamment au problème du prix du millénaire autour des équations de Navier-Stokes. Dans la foulée, OpenAI a mis en place un comité consultatif (l'AGMAI) au sein de l'Institute for Advanced Study — sans lui accorder le moindre droit de regard sur le rythme des recherches internes. (La communication officielle d'OpenAI est disponible sur son site ; les éléments mentionnés ici reprennent les faits rapportés par The Decoder.)
Cette publication massive a atterri sur une communauté scientifique déjà sous tension depuis des mois. L'onde de choc a été immédiate.
La fronde des chercheurs : « Personne n'avait rien demandé »
L'Association for Human Mathematics (AHM) — sous la houlette de Terence Tao, lauréat de la médaille Fields, qui a relayé le communiqué sur son propre blog — est montée au créneau. L'organisation reproche à OpenAI d'avoir piétiné les standards fondamentaux de la démarche scientifique et appelle la communauté à boycotter l'entreprise. Pour l'AHM, balancer plus de 700 documents d'un coup relève de la pure démonstration de force plutôt que de la rigueur académique. Sur Mastodon, Tao a esquissé les contours d'une ère « Math 2.0 » où la résolution pure et simple de problèmes ne constituerait plus le cœur de la discipline. Le théoricien de la complexité Scott Aaronson a quant à lui qualifié l'épisode de « Mathocalypse » sur son blog.
Deux éléments rapportés par The Decoder résument parfaitement la crispation ambiante. D'abord, ces articles générés par IA s'avèrent si denses et formulés de manière si déroutante que même les sommités du domaine doivent recourir à d'autres IA pour tenter de les décrypter — quand elles y parviennent. Ensuite, l'intervention de Justin Solomon (chercheur au MIT) lors d'un podcast au sujet du contre-exemple produit sur Navier-Stokes (comme résumé ici) : lui et son hôte ont confessé ne pas avoir réussi à dépasser la deuxième page. Au fond, le débat touche à l'essence même de la recherche : une démonstration est-elle valable si aucun être humain n'est capable de la vérifier et de la comprendre ?
C'est très exactement dans cette brèche que s'insère le clip de Plotkin.
Une troisième voie, tout en ironie
Face à ce raz-de-marée de théorèmes, le milieu académique s'est scindé en trois postures. La première est institutionnelle : l'appel au boycott de l'AHM, le rappel des règles déontologiques et l'affirmation que l'essence des mathématiques réside dans la compréhension humaine. La seconde est une résignation fataliste : la « Mathocalypse » prophétisée par Aaronson, l'abandon de Solomon dès la page deux, et le constat amer que la brèche est ouverte, que les chercheurs le veuillent ou non.
La troisième approche, c'est celle de Plotkin : concevoir un objet artistique avec le modèle d'un labo rival, flanqué d'un sous-entendu piquant — « It saved some for you » (« Il en a gardé pour vous »). Qu'il s'agisse d'une parole de chanson, d'un clin d'œil narquois sur ce que la machine daigne laisser aux humains, ou des deux, le geste porte en lui tout l'argumentaire. Quand les algorithmes s'approprient les démonstrations, le propre de l'humain se réfugie ailleurs : dans le sens, la mise en scène, l'ironie et la sensibilité. Et le pied de nez est d'autant plus frappant qu'il ne rejette pas l'IA, mais s'en empare.
La réaction enthousiaste d'Ethan Mollick s'inscrit dans cette même ligne. Le chercheur défend depuis des années l'idée d'une IA envisagée comme co-intelligence plutôt que comme un pur substitut au labeur humain. Commenter cette guerre des démonstrations par un clip musical est d'une cohérence absolue : le véritable enjeu n'est pas de savoir si les machines peuvent prouver des théorèmes, mais ce que l'humain choisit d'inventer ensuite.
Ce que l'on ignore encore (les réserves d'usage)
Trois zones d'ombre subsistent toutefois. D'abord, la nature exacte de la vidéo — animation, performance filmée ou synthèse pure — n'a pas pu être examinée en détail ici ; seules sa durée, sa légende et son attribution sont établies. Ensuite, l'implication précise d'Opus 5.5 ne repose pour l'instant que sur le message d'Ethan Mollick, Plotkin n'ayant mentionné aucun outil dans sa publication. Enfin, si Mollick présente Plotkin comme « un mathématicien », ce dernier occupe en réalité une chaire en sciences naturelles — preuve supplémentaire que les étiquettes entourant cette affaire circulent d'abord sur les réseaux sociaux avant d'être formalisées.
Reste une chronologie indiscutable : une avalanche de preuves automatisées, un mot d'ordre de boycott et un clip musical, le tout condensé en une seule semaine. Les deux premiers actes interrogeaient la finalité des mathématiques. Le troisième y a esquissé une réponse, sans un mot de trop.