Overblog
Suivre ce blog
Editer l'article Administration Créer mon blog

Marichesse.com

Marichesse.com

Conseils, science, sante et bien-être


La preuve mathématique la plus lourde du monde a été démontrée

Publié par MaRichesse.Com sur 27 Septembre 2016, 23:31pm

Catégories : #SCIENCE

La preuve mathématique la plus lourde du monde a été démontrée

rois scientifiques ont produit une preuve qui résoud un problème qui frustre les mathématicien depuis plusieurs décennies. La formule fait 200 téraoctets et il a fallu 2 jours entiers à un superordinateur pour la valider. Cela bat un record à plate couture : jusqu'à présent, la formule la plus lourde faisait seulemetn 13 gigaoctets. 

La preuve a été compressée en un fichier de 68 gigas, que n'importe qui peut télécharger, pour reconstruire et vérifier la formule. Ca ne vous prendra que 30 000 heures et un bon ordinateur. 

Le problème qui a été résolu est le problème des "triples booléens pythagoriens", qui pose la question suivante : est-ce que chaque nombre entier positif peut être coloré soit rouge, soit bleu, si bien qu'une combinaison de trois chiffres a, b et c peut satisfaire à l'équation pythagoréenne, a^2 + b^2 = c^2. 

Ce fut aux mathématiciens de concevoir des solutions pour créer un algorithme qui puisse vérifier si le problème était soluble ou pas.

 

 

Il a ensuite fallu un autre ordinateur pour vérifier la réponse au premier problème. Réponse : oui, c'est possible, mais seulement jusqu'à 7 824. Après ce n'est pas possible. Pourquoi ? Mystère. Il faudra sans doute encore quelques teraoctets pour trouver la réponse. 

 
 

 

Commenter cet article

Archives