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

23 mars 2017 Les momies précolombiennes du Cinquantenaire passées au scanner des Cliniques Saint-Luc

Les sept momies précolombiennes conservées aux Musées royaux d’Art et d’Histoire au Cinquantenaire à Bruxelles (MRAH) font actuellement l’objet d’examens médicaux approfondis aux Cliniques universitaires Saint-Luc dans le cadre du projet IRAM (Interdisciplinary Res lire plus

Belga

23 mars 2017 La reine Elizabeth II exprime sa sympathie aux victimes d'un "horrible" attentat

La reine Elizabeth II a exprimé sa « profonde sympathie » aux victimes d’un « horrible » attentat jeudi au lendemain de l’attaque à la voiture bélier et au couteau à Londres ayant fait trois morts. « Mes pensées et mes prières, ainsi que ma plus profonde sympathi lire plus

Belga

23 mars 2017 Pays-Bas: VVD, CDA, D66 et GroenLinks tentent de former un gouvernement

Les libéraux du VVD, les chrétiens-démocrates du CDA, les centristes de D66 et les écologistes de GroenLinks vont essayer de former une coalition gouvernementale malgré leurs différences programmatiques, a annoncé jeudi le leader du VDD et Premier min lire plus

Belga

23 mars 2017 Le mercure va grimper jusqu'à 19 degrés la semaine prochaine

Les températures vont grimper au fil des jours et pourront atteindre jusqu’à 19 degrés la semaine prochaine, prévoit jeudi l’Institut royal météorologique (IRM) dans son bulletin de la mi-journée. Ce jeudi, le temps sera sec, doux et gén lire plus

Belga

23 mars 2017 "Nous n'avons pas peur", dit Theresa May devant le Parlement

« Nous n’avons pas peur », a déclaré la Première ministre britannique Theresa May devant les députés, au lendemain de l’attentat qui a coûté la vie à trois personnes à Londres. « Nous n’avons pas peur et notre détermination ne faillir lire plus

Belga

23 mars 2017 Un réseau international de trafiquants de drogue démantelé en Belgique

La police judiciaire fédérale de Mons-Tournai a procédé mercredi à 14 perquisitions dans les régions de Mons, Charleroi et Bruxelles, a indiqué jeudi le parquet de Mons. Ces opérations ont conduit à l’interpellation de 11 personnes activ 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/