Atlantico, c'est qui? c'est quoi ?
Mercredi 25 Avril 2018 | Créer un compte | Connexion
Extra

La preuve mathématique la plus lourde du monde a été démontrée, et elle ne fait que 200 téraoctets

C'est un record du monde.

Pythagore

Publié le
La preuve mathématique la plus lourde du monde a été démontrée, et elle ne fait que 200 téraoctets

Trois 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. 

 
Pour commenter :

Depuis son lancement Atlantico avait fait le choix de laisser ouvert à tous la possibilité de commenter ses articles avec un système de modération a posteriori. Sous couvert d'anonymat, une minorité d'internautes a trop souvent détourné l’esprit constructif et respectueux de cet espace d’échanges. Suite aux nombreuses remarques de nos lecteurs, nous avons décidé de réserver les commentaires à notre communauté d’abonnés.

Je m'abonne
à partir de 4,90€