Une démonstration mathématique qui occupe 200 To, un nouveau record

06 juillet 2016 à 14h50
0
Trois informaticiens américano-britanniques viennent de réaliser la plus longue démonstration mathématique de l'histoire. Cette dernière occupe quelque 200 To d'espace disque et résout un problème vieux de 35 ans.

Vous ne connaissez sans doute pas le problème de la bicoloration des triplets de Pythagore, et il n'y a pas de mal à ça. Cette énigme est réservée à quelques mathématiciens chevronnés adeptes du dénombrement et de combinatoire.

Pourtant, son énoncé n'est pas si complexe à première vue : si l'on attribue une couleur parmi deux aux nombres entiers positifs, est-il possible que les trois nombres impliqués dans un triplet de Pythagore ne soient pas de la même couleur. En résumé, dans la fameuse formule a² + b² = c², si a et c sont de couleur bleue, b doit être rouge. Un problème auquel se butent les mathématiciens depuis des décennies.

Il y a trois ans, deux chercheurs sont parvenus à s'assurer de cette possibilité jusqu'à 1 344. Les trois scientifiques à l'origine de la publication évoquée aujourd'hui ont montré qu'au-delà de 7 824, il était impossible d'assurer une telle relation.

Pour y parvenir, Heule, Kullmann et Marek ont sollicité le supercalculateur Stampede de l'université du Texas et ses 800 processeurs, qui a cravaché durant deux jours. Un dispositif nécessaire à un dénombrement pur et dur qui a vu le supercalculateur essayer les 1 000 milliards de possibilités offertes par le problème (déduction faite des solutions trouvées par symétrie et autres artifices mathématiques).

01F4000008493652-photo-triplets-bicolor-s-de-pythagore.jpg

« Les chercheurs n'ont pas eu d'autres choix que d'y aller « en force » en énumérant et en vérifiant toutes les combinaisons possibles », explique au Journal du CNRS Laurent Simon, du Laboratoire bordelais de recherche en informatique.

Conséquence : un résultat qui occupe la bagatelle de 200 To d'espace disque. Une quantité d'information que personne ne pourra lire à moins d'avoir plusieurs milliards d'années devant soi, et qu'un logiciel spécialisé s'est chargé de décortiquer.

Ce qui a permis aux chercheurs de résoudre enfin ce problème ? De nouveaux algorithmes, regroupés au sein de ce qu'on appelle les solveurs SAT (pour satisfiabilité). Cantonnés initialement à l'informatique théorique, ces algorithmes commencent à être utilisés pour chercher des bugs dans un système d'exploitation (chez Microsoft) ou un éventuel défaut de conception dans les processeurs (chez Intel). D'où l'intérêt de ces travaux de recherche, qui peuvent paraître bien inutiles d'un premier abord.

Modifié le 01/06/2018 à 15h36
0 réponses
0 utilisateurs
Suivre la discussion

Les actualités récentes les plus commentées

L'Angleterre envisage l'interdiction du smartphone en conduisant, même en main libre
Déjà plus de 45 000 précommandes pour la Mini Cooper SE électrique
L'Audi e-tron devient la voiture électrique la plus sûre du monde
Piratées, les enceintes connectées pourraient être une menace pour leurs utilisateurs
Une étude montre que les cyclistes
Selon Google, 1,5% des mots de passe seraient compromis
Des scientifiques réinventent l'air conditionné grâce au froid de l'espace
Suite à un accident mortel, la marine américaine ne veut plus d'écrans tactiles
Un restaurant de burgers cuisinés par des robots ? Une start-up l’a fait
Nos théories sur l'évolution de l'Univers remises en question par 39 galaxies

Notre charte communautaire

1. Participez aux discussions

Nous encourageons chacun à exprimer ses idées sur les sujets qui l'intéressent, et à faire profiter l'ensemble de la communauté de son expertise sur un sujet particulier.

2. Partagez vos connaissances

Que vous soyez expert ou amateur passionné, partagez vos connaissances aux autres membres de la communauté pour enrichir le niveau d'expertise des articles.

3. Échangez vos idées

Donnez votre opinion en étayant votre propos et soyez ouverts aux idées des autres membres de la communauté, même si elles sont radicalement différentes des vôtres.

4. Faites preuve de tolérance

Qu'il s'agisse de rédacteurs professionnels ou amateurs, de lecteurs experts ou passionnés, vous devez faire preuve de tolérance et vous placer dans une démarche d'entraide.

5. Restez courtois

Particulièrement lorsque vous exprimez votre désaccord, critiquez les idées, pas les personnes. Évitez à tout prix les insultes, les attaques et autres jugements sur la forme des messages.

6. Publiez des messages utiles

Chaque participation a vocation à enrichir la discussion, aussi les partages d'humeurs personnelles ne doivent pas venir gêner le fil des échanges.

7. Soignez votre écriture

Utilisez la ponctuation, prohibez le langage SMS et les majuscules, relisez-vous afin de corriger un peu les fautes de frappe et de français : trop de fautes n’engagent ni à lire le message, ni à répondre à une question.

8. Respectez le cadre légal

Ne publiez pas de contenus irrespectueux, racistes, homophobes, obscènes ou faisant l'apologie de courants radicaux, qu'ils soient politiques ou religieux. N'utilisez pas plusieurs comptes utilisateurs.

9. Ne faites pas de promotion

Ne profitez pas d'une discussion pour faire la publicité d'un produit, d'un service ou même de votre site web personnel.

10. Ne plagiez pas

Exprimez uniquement vos opinions ou partagez des idées en citant vos sources.

scroll top