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.