Après la démonstration de 372 théorèmes par OpenAI, le gouvernement classe les mathématiques au patrimoine culturel immatériel et exige un droit de réponse pour Fermat (décédé en 1695)

« On ne démontre pas une conjecture française comme on fabrique du tofu »

C'est dans la cour intérieure de l'Hôtel des Monnaies, à Paris VIe, que le ministre chargé des Mathématiques et du Patrimoine scientifique a annoncé ce mardi matin un classement d'urgence. Les 372 démonstrations réalisées par OpenAI ont été formellement requalifiées en « atteinte au patrimoine immatériel de la Nation », sur recommandation conjointe de l'Académie française, de l'IHES et du Syndicat national des chercheurs en topologie algébrique (SNCTA). Désormais, toute démonstration d'un théorème ayant été formulé par un mathématicien français devra faire l'objet d'une déclaration préalable auprès de la Direction générale des Théorèmes Protégés. « On ne démontre pas une conjecture française comme on fabrique du tofu », a déclaré le ministre en conférence de presse, avant de préciser que les contrevenants s'exposeraient à 750 euros d'amende par lemme démontré sans autorisation.

Un formulaire Cerfa n°1485609 obligatoire pour toute nouvelle preuve

Le décret publié au Journal officiel ce matin prévoit la création du logiciel SALUBRIS (Système Automatisé de Lutte contre l'Unilatéralité Brute des Réseaux d'Intelligence artificielle), un outil permettant à tout citoyen français de signaler en ligne une démonstration effectuée par une IA sans le consentement préalable du chercheur concerné. Un formulaire Cerfa n°1485609, disponible dans les 32 préfectures encore ouvertes et sur le site service-public.fr (en maintenance depuis mars), sera obligatoire pour toute personne souhaitant « prouver quelque chose ». Le syndicat des mathématiciens a par ailleurs obtenu la création d'un numéro vert — le 08 4756 1943, gratuit uniquement les mardis de novembre en année bissextile.

Fermat convoqué au tribunal administratif pour « non-réponse depuis trois siècles »

L'aspect le plus spectaculaire du dispositif concerne Pierre de Fermat. Le mathématicien toulousain décédé en 1695 ayant inscrit dans une marge qu'il disposait d'une preuve que la page était trop étroite, l'avocat général a estimé que cette annotation constituait un « secret défense à durée indéterminée ». Une assignation nominative a été déposée au tribunal administratif de Toulouse. Fermat est convoqué le 14 novembre pour s'expliquer sur ses déclarations marginales et fournir la preuve qu'il n'a pas, par négligence, contribué aux difficultés rencontrées depuis quatre siècles.

L'IHES ferme trois salles « en signe d'hommage à l'époque où on réfléchissait encore »

Du côté de Bures-sur-Yvette, le siège de l'Institut des hautes études scientifiques a organisé ce week-end une veillée aux chandelles devant la bibliothèque. 143 chercheurs y ont déposé leurs stylos Bic bleu en signe d'hommage à « l'époque où on réfléchissait encore avec ses propres neurones ». Ahmed Abbes, directeur de recherche émérite, s'est exprimé face à un parterre silencieux : « Tant qu'on aura la Silicon Valley comme seule réponse épistémologique, nous continuerons. Nous continuions déjà avant OpenAI d'ailleurs. Mais là au moins on a une raison officielle pour arrêter les séminaires du jeudi ». Le CRS déployé devant l'IHES depuis trois jours n'a pas souhaité commenter.

« J'ai peur de ne plus servir à rien », confie un agrégateur en reconversion vers la pâtisserie lyonnaise

Dans le 5e arrondissement, au bistrot du coin, Marc-Antoine Duvivier (43 ans) a posé son ardoise remplie d'intégrales triples et commandé une tarte aux pralines. « J'ai fait Normale sup', l'agrégation en interne à 29 ans parce que j'avais pas le niveau externe, puis quatorze ans de thèse sur les variétés riemanniennes non compactes », raconte-t-il entre deux bouchées. Il se reconvertit dans la pâtisserie lyonnaise : « Apparemment un GPT-6 peut aussi faire une tarte aux pralines mais au moins, personne ne me dira que c'est OpenAI qui l'a inventée en 2019 et qu'on m'aura fait perdre vingt ans ». Il a déjà passé commande pour deux fours à convection sur Leboncoin.

La France dépose une plainte contre Sam Altman devant la Cour internationale de justice (chambre des équations)

Enfin, le Quai d'Orsay confirme l'enregistrement ce lundi après-midi d'une requête auprès du Tribunal international pour les conflits épistémologiques. Paris réclame 41 milliards d'euros au titre du « préjudice moral causé à la communauté mathématique francophone » et une obligation de résultat : que Sam Altman se rende personnellement en séance publique devant l'Assemblée nationale, revêtu d'une écharpe tricolore, pour présenter des excuses orales aux descendants directs — ou indirects par alliance lointaine — des 47 membres actuels du CNRS. Une délégation conduite par le président de la commission Culture a été dépêchée à San Francisco avec une mallette contenant les doléances manuscrites sur papier vergé, « pour qu'il comprenne bien que ce n'est pas un fichier .pdf », précise-t-on au cabinet.