Tahiti Infos
Tahiti Infos

TAHITI INFOS, les informations de Tahiti
Facebook
Twitter
RSS
I phone App
Androïd
Newsletter
FENUACOMMUNICATION, Fare Ute, immeuble SAT NUI BP 40160 98 713 Papeete Polynésie Française. Tel:40 43 49 49

Dix milliards d'années pour lire la plus longue "preuve mathématique", présentée en France



BORDEAUX (AFP) - 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" est un problème qui taraude les chercheurs en mathématiques depuis 35 ans. Vendredi matin, à la conférence scientifique 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.

burx/dar

Rédigé par () le Samedi 9 Juillet 2016 à 07:02 | Lu 1213 fois






1.Posté par lebororo le 09/07/2016 13:29 | Alerter
Utilisez le formulaire ci-dessous pour envoyer une alerte au responsable du site concernant ce commentaire :
Annuler

Je suis dépassé et vous? ☺

2.Posté par Christian le 09/07/2016 14:45 | Alerter
Utilisez le formulaire ci-dessous pour envoyer une alerte au responsable du site concernant ce commentaire :
Annuler

Et à quoi ça pourrait servir ? Une application ?

3.Posté par MICROSTRING le 10/07/2016 09:24 | Alerter
Utilisez le formulaire ci-dessous pour envoyer une alerte au responsable du site concernant ce commentaire :
Annuler

La machine dépasse les possibilités humaines non par son intelligence mais par sa capacité de calcul...

4.Posté par CITRUS le 10/07/2016 10:06 | Alerter
Utilisez le formulaire ci-dessous pour envoyer une alerte au responsable du site concernant ce commentaire :
Annuler

BONJOUR

qu'elle application pour le poisson crue ????

5.Posté par SM le 10/07/2016 22:20 | Alerter
Utilisez le formulaire ci-dessous pour envoyer une alerte au responsable du site concernant ce commentaire :
Annuler

Ca ne sert à rien ! Ca sert juste à faire fonctionner des cerveaux qui nous envoient sur Mars, qui nous font tourner autour de Jupiter, qui guident nos GPS, qui font voler nos Airbus, qui nous permettent de regarder la finale de l'Euro en direct, et qui branchent nos smartphones 24/24, 7/7 vers nos amis. Vraiment ça ne sert à rien !!! SM

6.Posté par CITRUS le 11/07/2016 07:05 | Alerter
Utilisez le formulaire ci-dessous pour envoyer une alerte au responsable du site concernant ce commentaire :
Annuler

REMOI

je crois que comme moi ,tous le monde a compris le pourquoi du comment
un peut d'humour ne nuis pas ,donc SM reste zen
allez ....bonne semaine a tous le monde

Signaler un abus

Dans la même rubrique :
< >

Actualité de Tahiti et ses îles | Actualité de France | Actualité du Pacifique | Actualité du Monde | Actualité du Sport | Insolite | Magazine | Assistance