En ce moment : Aimee pour de vrai - HELENA Ecouter la radio

En ce moment
abonnement

Bordeaux (AFP). 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 à Bordeaux, a-t-on appris auprès du CNRS.

Bordeaux (AFP). Dix milliards d'années pour lire la plus longue "preuve mathématique"
La "bicoloration des triplets de Pythagore" taraude les chercheurs en mathématiques depuis 35 ans - AFP/Archives

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.

Newsletter
Restez informé ! Recevez des alertes pour être au courant de toutes les dernières actualités.
Réagir à cet article

L'espace des commentaires est ouvert aux inscrits.
Connectez-vous ou créez un compte pour pouvoir commenter cet article.

En direct
Lire les journaux
Petites Annonces
Immobilier
loue très beau chalet...
loue très beau chalet... La Bresse (88250) 0€ Découvrir
Sud Portugal...
Sud Portugal... Granville (50400) 0€ Découvrir
Saint-Jacut-de-la-Mer (22750) sur camping...
Saint-Jacut-de-la-Mer (22750) sur camping... Saint-Jacut-de-la-Mer (22750) 0€ Découvrir
1 km mer, à louer chalet de 2 personnes, de 17 m² + salle d'
1 km mer, à louer chalet de 2 personnes, de 17 m² + salle d' Gouville-sur-Mer (50560) 0€ Découvrir
Automobile
Caravane GRUAU Tradition 40 CP
Caravane GRUAU Tradition 40 CP Rouen (76000) 2 500€ Découvrir
Renault Megane
Renault Megane Coutances (50200) 2 000€ Découvrir
Vends Mercedes Classe A
Vends Mercedes Classe A Argences (14370) 29 000€ Découvrir
Tiguan
Tiguan Hérouville-Saint-Clair (14200) 9 900€ Découvrir
Bonnes affaires
Lit clos breton
Lit clos breton Pleumeur-Bodou (22560) 750€ Découvrir
Armoire ancienne
Armoire ancienne Caen (14000) 0€ Découvrir
Pots de buis
Pots de buis Caen (14000) 0€ Découvrir
Vide maison
Vide maison Cauvicourt (14190) 0€ Découvrir
L'application mobile de Tendance Ouest
Inscrivez vous à la newsletter
La météo avec Tendance Ouest
Les pronostics avec Tendance Ouest
Votre horoscope du dimanche 28 avril
Les jeux de Tendance Ouest
L'emploi avec Tendance Ouest
Films et horaires dans vos cinémas en Normandie
L'agenda des sorties de Tendance Ouest
Les concerts avec Tendance Ouest
Les replays de Tendance Ouest
Bordeaux (AFP). Dix milliards d'années pour lire la plus longue "preuve mathématique"