facebook gplus home menu play rss search tlbxl_b tv twitter youtube

Dix milliards d'années pour lire la plus longue "preuve mathématique

Il faudrait 10 milliards d’années à un être humain pour la lire, ils n’étaient que trois pour la produire: la plus longue « preuve mathématique » jamais construite à ce jour pour résoudre un problème a été présentée vendredi en France, annonce le Centre national de la recherche scientifique (CNRS). La « bicoloration des triplets de Pythagore » n’est pas une maladie honteuse mais un problème qui taraude les chercheurs en mathématiques depuis 35 ans. Vendredi matin, à la conférence internationale « SAT 2016 » organisée à Bordeaux, trois informaticiens américano-britanniques ont enfin pu y répondre, grâce à un algorithme de conception française et à la puissance d’un supercalculateur.

Le résultat? Une « preuve » d’une taille équivalente à « tous les textes numérisés détenus par la bibliothèque américaine du Congrès », 200 téraoctets, soit 200.000 milliards d’octets (unité de base de la mémoire informatique), précise le journal du CNRS dans un article consacré à cette performance. A titre de comparaison, le record précédent, établi en 2014, plafonnait à 13 milliards d’octets.

L’énoncé du problème est considéré comme « simple » par les mathématiciens: « est-il possible de colorier chaque entier positif (1, 2, 3, 4, 5…, NDLR) en bleu ou en rouge de telle manière qu’aucun triplet (groupe de trois éléments) d’entiers a, b et c qui satisfait la fameuse équation de Pythagore a2+b2=c2 soient tous de la même couleur? ». Autrement dit, pour le triplet 3, 4 et 5, si 3 et 5 sont bleus, alors 4 doit être rouge, et ainsi de suite…

« A cette énigme, le trio d’informaticiens a répondu +non+ », il est possible de colorier ainsi les entiers jusqu’à 7.824, mais pas au-delà, explique Laurent Simon, du Laboratoire bordelais de recherche en informatique (Labri, Université de Bordeaux/CNRS). Une réponse hors d’atteinte pour un humain, puisqu’il existe plus de « 10 puissance 2.300 façons de colorier ces nombres jusqu’à 7.825! », précise le chercheur, à l’origine de l’algorithme qui a permis ce nouveau record.

Pour y parvenir, Marijn Heule (Université du Texas à Austin), Oliver Kullmann (Université de Swansea) et Victor Marek (Université du Kentucky à Lexington), ont rusé en utilisant diverses techniques afin de réduire les possibilités à 1.000 milliards, puis les ont traitées par « paquets ».

Il n’aura ensuite fallu que deux jours au supercalculateur Stampede de l’Université du Texas pour les passer en revue et apporter la preuve manquante depuis 35 ans.

Abonnez-vous à nos newsletters

Fil d'actu Toutes les dépêches

29 mai 2017 Roland Garros – Goffin, facile vainqueur de Paul-Henri Mathieu: "L'idéal pour commencer le tournoi"

David Goffin (ATP 12/N.10) a franchi sans encombre, lundi, le premier tour à Roland Garros. Sur le court n°1, le Liégeois, 26 ans, quart de finaliste l’an dernier, a facilement disposé du Français Paul-Henri Mathieu (ATP 120), 35 ans, issu des qualifications et qui di lire plus

Belga

29 mai 2017 Roland Garros – Kirsten Flipkens se hisse au deuxième tour après sa victoire sur Mandy Minella

Kirsten Flipkens (WTA 87) s’est qualifiée pour le deuxième tour de Roland-Garros en battant la Luxembourgeoise Mandy Minella (WTA 70) 6-3, 6-3, lundi, au premier tour, sur la terre battue parisienne. La rencontre a duré 1 heure et 33 minutes. Dans le premier set, Flipkens, 31 an lire plus

Belga

29 mai 2017 Poutine et Macron évoquent Syrie, Ukraine et les droits de l'homme en Tchétchénie

Le président français Emmanuel Macron a prévenu lundi que l’utilisation d’armes chimiques en Syrie ferait l’objet d’une « riposte immédiate », tout en souhaitant un « partenariat » renforcé avec Moscou pour lutter contre le terrorisme dans ce pays, au cours d’une conf lire plus

Belga

29 mai 2017 Ores: Claude Desama et Fernand Grifnée pourraient être entendus au parlement wallon

L’ancien président d’Ores, Claude Desama, et l’administrateur délégué, Fernand Grifnée, pourraient être entendus rapidement en commission du parlement wallon, de même que le conseiller communal Jean-François Mitsch, qui dénonce depuis plus lire plus

Belga

29 mai 2017 Pour John McCain, Poutine est une "plus grande menace que l'EI"

« Le président russe Vladimir Poutine constitue la plus grande menace pour la sécurité globale, plus encore que l’EI », a déclaré lundi le sénateur républicain et ancien candidat à la Maison Blanche John McCain à la chaîne ABC. Il av lire plus

Belga

29 mai 2017 Les organisateurs de festivals au tribunal contre la hausse tarifaire de la Sabam

Une coalition d’organisateurs de concerts et de festivals sollicite, devant le tribunal de commerce de Bruxelles, le retrait de la récente hausse tarifaire de la Sabam, l’organisation de gestion des droits d’auteur. La coalition est composée notamment de Live Nation, Greenhouse Talent, lire plus

Belga

http://www.vivreici.be/
http://www.hlcoiffure.com/
http://www.celini.be/
http://www.leopeeters.be/
http://www.leopeeters.be/
http://www.cocof.be/
http://www.rtbf.be/vivacite/
http://www.stib-mivb.be/