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

28 juillet 2017 Kimberly Buys en demi-finales du 50m papillon

Kimberly Buys s’est qualifiée pour les demi-finales du 50m papillon aux Mondiaux de natation (grand bassin) de Budapest, vendredi. Elle a signé le neuvième chrono des séries en 25.82, à seulement 4 centièmes du record de Belgique qu’elle avait établi lire plus

Belga

28 juillet 2017 L'unique centre de déradicalisation en France va fermer

L’unique centre de déradicalisation en France, situé à Beaumont-en-Véron (Indre-et-Loire, centre), va fermer, indique vendredi BFM TV sur son site web, selon une annonce du ministère français de l’Intérieur. Ouvert depuis septembre 2016, ce centre n’a lire plus

Belga

28 juillet 2017 Un graffiti de Banksy est l'oeuvre préférée des Britanniques

Le graffiti d’une petite fille en train de lâcher un ballon en forme de coeur, par le célèbre artiste de rue Banksy, a été désigné l’oeuvre d’art préférée des Britanniques dans un sondage publié mercredi. « La petite fille au lire plus

Belga

28 juillet 2017 Pieter Timmers éliminé en séries du 50m libre

Pieter Timmers n’a pas réussi à se qualifier pour les demi-finales du 50m libre aux Mondiaux de natation à Budapest. Timmers a été éliminé en séries avec le 26e chrono (22.47), vendredi. En 22.47, Timmers a terminé dixième et dern lire plus

Belga

28 juillet 2017 Donald Trump bientôt héros d'un dessin animé

Donald Trump sera bientôt le héros d’un nouveau dessin animé produit par l’animateur et humoriste Stephen Colbert, a annoncé jeudi Showtime. La chaîne de télévision a passé une première commande de dix épisodes d’une demi-heure. La lire plus

Belga

28 juillet 2017 ArcelorMittal investit 96 millions sur les sites de Florange et Dunkerque

Le groupe sidérurgique ArcelorMittal a annoncé vendredi un investissement global de 96 millions d’euros sur ses sites français de Florange (Moselle) et Dunkerque (Nord). Les volumes d’électro-zingage, qui étaient en diminution à Florange, seront transf 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/