Klaq

Ces derniers temps, recenser les exploits en informatique se réduisait à narrer les derniers progrès de l’intelligence artificielle. Le 2 juillet, l’annonce de la démonstration d’une conjecture vieille de plus de trente ans est venue bouleverser cette litanie. En plus, l’exploit, raconté par le média américain Quanta Magazine, n’est issu ni du monde académique ni de l’industrie. Il a été accompli par une équipe internationale constituée d’une vingtaine de personnes, collaborant à distance, en partie « amateurs », et réunie par le jeune Français Tristan Stérin.

Cofondateur de l’entreprise de logiciels PRGM, il a lancé, en mars 2022, le défi de résoudre un problème qui en a épuisé plus d’un : savoir quel programme informatique, parmi une famille de plus de 16 000 milliards, s’arrête pour donner sa réponse, éliminant de fait les programmes « inutiles » qui continuent ad vitam aeternam. Et surtout trouver la perle rare, celui qui stoppe après le plus grand nombre d’étapes. Le problème a été baptisé « compétition du castor affairé » par le mathématicien hongrois Tibor Rado, en 1962, en hommage aux vertus de l’animal.

« C’est comme la chasse au Pokémon ! » plaisante Tristan Stérin. Quel intérêt ? Ce « jeu », qui illustre comment la complexité jaillit de la simplicité, touche à de profondes questions en mathématiques et en informatique.

Le ruban de Turing Pour saisir l’enjeu, des rappels s’imposent. En 1936, le Britannique Alan Turing démontre que tout programme, depuis le simple « afficher “bonjour” » aux plus complexes, comme les énormes ChatGPT et consorts, peut se représenter « simplement » par une machine qui porte son nom : un ruban infini, marqué de 0 ou de 1 lorsqu’il passe sous une tête de lecture/écriture. La tête ne peut que changer les symboles 0 ou 1, faire avancer ou reculer le ruban d’une case et changer d’état. Cet « état », qui contient ces trois instructions (écrire 0 ou 1, avancer/reculer, changer d’état), est le logiciel de la machine. Il peut en avoir un, deux ou plus… Une machine à un état peut générer 25 programmes différents. De une à deux, 6 561, et de une à cinq, plus de 16 000 milliards.

Avec ce concept, Turing montre qu’il est impossible de trouver un programme qui dise si un autre programme va s’arrêter ou non. Le problème du castor affairé (« busy beaver » en anglais ou BB pour les intimes) présente une autre impossibilité : calculer le plus grand programme « utile », celui qui fait bouger le plus le ruban avant de s’arrêter et de donner la réponse. Tibor Rado a démontré que cette fonction n’était pas calculable : il est impossible de trouver toutes ces valeurs par une suite d’opérations.

Tibor Rado observe que, pour une machine à deux états, la fonction BB vaut six − un programme, dont le ruban a bougé de plus de six cases, est en fait un programme qui ne s’arrête jamais − et que BB (3), pour une machine à trois états, vaut 21. Dans les années 1970, Allen Brady montre que BB (4) vaut 107. En 1989, dans la quête de BB (5), Heiner Marxen et Jürgen Buntrock trouvent un « Pokemon » qui s’épuise au bout de 47 176 870 étapes. Et l’équipe de Tristan Stérin vient seulement de démontrer qu’il n’y a pas plus fort comme castor.

« Quand on demandait à George Mallory [un alpiniste britannique] pourquoi il voulait escalader l’Everest, il répondait parce que la montagne est là. C’est pareil ici. Ces nombres BB existent. A nous de les trouver », raconte Pascal Michel, enseignant émérite de l’université Paris Cité, spécialiste du sujet mais non membre de l’équipe. « BB (5) est un défi au savoir humain », complète Tristan Stérin.

Sortes de « Pokemons » inarrêtables L’aventure n’a pas été simple. Impossible de faire tourner 16 000 milliards de programmes pour voir lesquels s’arrêtent. Les « trappeurs » ont donc mis au point des « filets », appelés « décideurs », des programmes pour identifier des comportements de « Pokémons » inarrêtables. Il y a ceux qui bégaient et se répètent. Ceux qui comptent sans fin ânonnant sans faiblir des chiffres… Une demi-douzaine de « décideurs » ont permis de réduire le nombre de suspects. Mais il est resté au moins deux programmes très retors. L’un se met en boucle toutes les 8 468 569 863 opérations, mais seulement à partir d’un nombre gigantesque d’étapes (plus d’un million de milliards de milliards). Trompeur.

En avril, le travail était bien avancé, lorsque, sur le forum de discussion du groupe, un contributeur anonyme informe qu’il a traduit tout le travail réalisé jusqu’alors dans un langage informatique particulier, Coq. Et qu’il a même été plus loin, en achevant la démonstration rigoureuse avec ce langage. « L’apothéose finale ! » souligne Tristan Stérin. Coq est en effet l’un des outils phares pour démontrer qu’un programme n’a pas de bogues. Il est utilisé pour certifier la sécurité de logiciels critique. Après une vérification auprès de spécialistes de cette méthode, l’annonce que BB (5) est bien égal à 47 176 870 est faite. « Si la démonstration n’avait pas utilisé d’outils d’assistants de preuve, comme Coq, la communauté n’aurait pas eu confiance aussi vite dans le résultat, estime Yannick Forster, chercheur à l’Institut national de recherche en sciences et technologies du numérique et l’un des “vérificateurs”. En retour, ce travail donne une grande visibilité à Coq. » « J’ai été étonné par l’efficacité de cette recherche “massivement” parallèle. Les contributions étaient de grande qualité. Chaque mois il y en avait de nouvelles. Sans les autres, chacun n’aurait pas pu avancer », apprécie Tristan Stérin.

Et BB (6) ? Pas sûr que ce nouvel Everest soit accessible. Parmi les près de 60 millions de milliards de programmes à étudier, il y a des « monstres », baptisé cryptides. Prouver que ces castors ne s’arrêteront jamais de courir serait aussi dur que démontrer des conjectures mathématiques qui résistent, comme celle dite « de Collatz », une série d’entiers qui retombent toujours sur « 1 », quel que soit le nombre de départs. « Plutôt que m’attaquer à ce problème, je préfère me concentrer sur l’article scientifique qui expliquera à tous notre démonstration, et fournir des outils de travail collaboratif », prévoit Tristan Stérin, en castor avisé

L'étude en question : https://www.privacyenforcement.net/system/files/2024-07/GPEN%20Sweep%202024%20-%20%27Deceptive%20Design%20Patterns%27%20-%20FRA.pdf

« L’ami » français de Benyamin Nétanyahou a perdu son fauteuil. Après une décennie à l’Assemblée nationale, Meyer Habib (apparenté LR) n’est plus député. Celui qui fut l’un des membres les plus clivants de l’Hémicycle, où il défendit sans relâche la politique de la droite israélienne et de son chef, le premier ministre, Benyamin Nétanyahou, qu’il fréquente depuis trois décennies, s’est incliné le 7 juillet dans la 8e circonscription des Français de l’étranger, face à une candidate Renaissance, Caroline Yadan, victorieuse avec 52,7 % des voix.

Meyer Habib, le député qui en faisait trop Arrivé en tête au premier tour, M. Habib a pâti d’une mobilisation importante dans cette circonscription qui comprend huit pays : Israël, l’Italie, Malte, Saint-Marin, le Vatican, Chypre, la Grèce et la Turquie. La participation s’élève à 24,3 % au second tour, un chiffre qui peut sembler dérisoire au vu de la moyenne nationale. Mais avec plus de 36 000 votants, il est deux fois plus important qu’à la législative partielle de 2023, convoquée après l’invalidation de l’élection de M. Habib pour des abus durant la campagne électorale de l’année précédente.

M. Habib a obtenu la majorité des suffrages en Israël le 7 juillet. Mais les voix décomptées ailleurs, notamment en Italie, lui coûtent son siège. Mme Yadan a aussi bénéficié d’un important report des voix de gauche, à l’appel de la candidate du Nouveau Front Populaire, Yaël Lerer, défaite au premier tour.

Une proximité avec Eric Ciotti

Dans une vidéo enregistrée devant le mur des Lamentations, à Jérusalem, dimanche soir, M. Habib, fameux pour ses outrances, a accusé sa concurrente de s’être « alliée avec l’extrême gauche antisémite. » Mme Yadan a suggéré pour sa part que son rival avait bénéficié du soutien du Rassemblement National (RN), qui n’a pas présenté de candidat dans sa circonscription.

Durant la campagne, M. Habib s’était vanté de sa proximité avec Eric Ciotti et avait ménagé le RN. Interrogé lundi par la chaîne israélienne Kan, il a souligné que « Marine Le Pen a doublé ses sièges. Je ne suis pas en sa faveur, mais elle est moins pire que l’extrême gauche qui déteste Israël. Ils ont attiré les Arabes de France (…) qui ne savent même pas où se situent la Palestine et la Jordanie sur une carte ».

Après l’attaque terroriste perpétrée par le Hamas dans le sud d’Israël, le 7 octobre 2023, et le début de la guerre à Gaza, Meyer Habib avait qualifié la population de Gaza dans son ensemble de « cancer ». Il avait apporté dans l’Hémicycle un appui sans nuance à la contre-offensive du gouvernement israélien, qui a causé, à ce jour, la mort de plus de 38 000 Palestiniens selon les autorités de santé de Gaza. Durant la campagne, dans des vidéos enregistrées à ses côtés, M. Nétanyahou et le ministre de la défense, Yoav Gallant, lui avaient offert leur soutien.

Sa successeure, Mme Yadan, avocate de 55 ans, est entrée à l’Assemblée nationale en juin 2022, en tant que suppléante du ministre de la transformation et de la fonction publiques, Stanislas Guérini. Elle a également ferraillé avec des députés de gauche sur la question de l’antisémitisme, et a suggéré dans un tweet, accompagné d’un clin d’œil, la dissolution de La France insoumise. Elle a félicité lundi M. Habib « pour son courage ».

https://www.lemonde.fr/international/article/2024/07/08/au-japon-la-gouverneure-nationaliste-de-tokyo-se-reve-premiere-ministre_6247929_3210.html

Le tanuki (« raton laveur ») est un animal apprécié au Japon, où le folklore en a fait un maître de la métamorphose. Beaucoup de Japonais retrouvent ses talents dans Yuriko Koike, fervente nationaliste qui se rêve première ministre, après avoir été largement réélue, dimanche 7 juillet, avec 42,8 % des suffrages exprimés, pour un troisième mandat de gouverneure de Tokyo.

Baptisée « le raton laveur vert » – de la couleur de son « parti des citoyens en premier » –, cette ultranationaliste, âgée de 71 ans, a devancé plus d’une cinquantaine d’adversaires avec l’appui du Parti libéral démocrate (PLD, conservateur, au pouvoir). Son programme, nommé « Tokyo grandes réformes, 3.0 », s’appuyait sur trois piliers : « sécurité, diversité, smart city ». Elle a promis des mesures fortes pour l’environnement et les familles avec enfants, dans la lignée de ses efforts en faveur de la gratuité de la scolarité. De quoi séduire des Tokyoïtes inquiets du coût de la vie et du déclin démographique.

La gouverneure est notamment appréciée pour ses efforts en faveur des familles et de la préparation aux catastrophes dans une ville soumise à un fort risque sismique. Elle bénéficie d’une réelle stature internationale. « J’ai reçu le soutien inconditionnel des habitants de Tokyo qui, une fois de plus, m’ont demandé de promouvoir davantage de réformes et d’améliorer leurs conditions de vie », a déclaré Yuriko Koike, qui parfait ainsi son ancrage dans la capitale de 13,5 millions d’habitants.

Fait rare au Japon, la campagne a suscité un réel intérêt. Le taux de participation a atteint 60,6 %, contre 55 % en 2020. Elle a également été ponctuée d’incidents – huées, menaces – pendant les discours des principaux candidats, dont Mme Koike, et d’opérations d’affichage sauvage. « Je n’avais jamais vu ça », a regretté la gouverneure, ce qui ne l’a pas empêché de largement dominer ses adversaires. La première d’entre eux, Renho Murata, candidate soutenue par l’ensemble de l’opposition, misait sur un programme progressiste pour renverser la gouverneuse sortante.

Reproches.

Yuriko Koike est née en 1952 à Ashiya, dans le département de Hyogo (Ouest). Elle a étudié la sociologie à l’université Kwansei Gakuin avant d’intégrer l’université du Caire, un choix dicté par son père, négociant dans le domaine pétrolier et promoteur de liens solides avec les pays arabes. En Egypte, elle rencontre un étudiant japonais qu’elle épouse avant de divorcer quelques mois plus tard. Elle ne s’est jamais remariée.

Arabisante, même si des doutes planent sur la réalité de son diplôme cairote, Mme Koike a travaillé comme interprète, puis présentatrice, sur la chaîne privée TV Tokyo. Elle se lance en politique et est élue en 1992 pour la première fois à la chambre haute, avec l’appui du défunt Nouveau Parti du Japon.

Elle rejoint en 2002 le Parti libéral-démocrate (PLD), la quasi indéboulonnable formation au pouvoir au Japon. Ministre de l’environnement de 2003 à 2006, elle porte la populaire réforme des « Cool biz » et « Warm biz » qui incitent à adapter sa tenue aux saisons afin de limiter l’usage des climatiseurs l’été et du chauffage l’hiver. En 2007, elle devient la première femme à diriger le ministère de la défense, à la fin du premier mandat du très nationaliste Shinzo Abe – assassiné en 2022. En 2016, Mme Koike renonce au Parlement pour briguer le gouvernorat de Tokyo. Elle l’emporte, devenant la première femme à diriger la capitale japonaise. Elle est réélue en 2020.

Son action suscite toutefois des reproches, comme le non-respect de certains de ses engagements. Elle avait promu en 2016 les « douze zéro » : « zéro centrale nucléaire », « zéro gaspillage alimentaire » ou encore « zéro allergie au pollen ». Au final, résume l’écrivain Osamu Tekina dans un commentaire sans pitié : « Zéro réussite. Zéro réalisation. Zéro intelligence. Zéro responsabilité. Zéro pour toujours. Combien de fois nous, les humains, nous laisserons-nous berner par le vieux raton laveur ? »

Mme Koike se voit également critiquée pour son échec à faire de Tokyo un hub de la finance en Asie – une ambition affichée depuis 2017. Une partie de la population lui reproche le coût des Jeux olympiques de Tokyo de 2021, l’autorisation donnée au déménagement du marché aux poissons de Tsukiji ou au controversé projet de redéveloppement du quartier verdoyant de Jingu Gaien. Ses concepteurs, menés par le géant de la construction Mitsui, prévoient d’abattre des centaines d’arbres et de bâtir de nouvelles tours, une aréna et un nouveau stade de baseball.

Indéniable talent de communicante.

L’ancrage nationaliste de Yuriko Koike lui vaut son lot de polémiques. En 2023, Tokyo commémorait le centenaire du tremblement de terre qui fit 105 000 morts dans la capitale et sa région. La gouverneure a refusé de rendre hommage aux victimes coréennes des massacres commis par la police et la population dans les jours qui ont suivi le séisme. Elle s’est fréquemment rendue au très controversé sanctuaire Yasukuni, dédié à Tokyo aux soldats morts pour la patrie, y compris à certains criminels de guerre de la seconde guerre mondiale.

Son indéniable talent de communicante a permis de surmonter ces attaques. Il lui avait déjà servi en 2020 au début de la pandémie de Covid-19, quand le gouvernement semblait dépassé par la crise sanitaire. Sa gestion du virus, menée à travers des messages de bon sens délivrés quotidiennement sur YouTube, avait contribué à sa réélection pour un deuxième mandat à l’été 2020.

Son troisième succès à la tête d’une ville doté d’un budget à 14 000 milliards de yens (80 milliards d’euros) l’impose un peu plus dans un paysage politique nippon fragmenté, entre l’impopulaire premier ministre, Fumio Kishida, et une opposition peu audible. Forte de sa victoire, estime Hiroshi Shiratori, de l’université Hosei, Mme Koike pourrait « se lancer dans la course au poste de premier ministre ».