La conjecture de réarrangement de Graham est enfin résolue, pas par l’IA

En février 2026, Lisa Sauermann, de l’Université de Bonn, et Pham Tuan Huy, de l’Université de Chicago, aussi cité sous le nom de Huy Tuan Pham, ont franchi l’obstacle principal de la conjecture de réarrangement de Graham pour tous les nombres premiers assez grands. C’est ce qu’ils annoncent dans le quatrième et dernier volet d’une série de quatre articles. La conjecture pose une question simple en apparence: peut-on réordonner un ensemble de nombres distincts et non nuls de façon que toutes les sommes partielles soient différentes?

GeoGebra Télécharger

Après 55 ans d’attente, le grand cas qui résistait encore dans la conjecture de réarrangement de Graham vient donc de céder. C’est le point central qui ressort de l’article publié en février 2026 par Lisa Sauermann et Pham Tuan Huy.

Reste une réserve pour les petits cas. Leur article de février 2026 ne prétend pas nécessairement régler jusqu’au dernier détail technique toutes les situations de petite taille. Mais, pour les spécialistes, l’essentiel n’est plus là. La percée qu’on attendait depuis des décennies touche bien au noyau du problème.

L’histoire commence en 1971. Cette année-là, Ronald Graham formule un problème facile à énoncer et beaucoup moins facile à démontrer. Dans un cadre d’arithmétique modulaire fini, la question est de savoir si l’on peut toujours réordonner un ensemble de nombres distincts et non nuls de sorte que toutes les sommes partielles soient différentes.

En pratique, on additionne le premier terme, puis les deux premiers, puis les trois premiers, et ainsi de suite. Le but est qu’aucune de ces sommes intermédiaires ne tombe sur une valeur déjà obtenue.

On travaille ici dans l’arithmétique dite « horloge ». Modulo 7, par exemple, 0, 7 et 14 reviennent au même.

La conjecture demande donc si, modulo un nombre premier p, n’importe quel ensemble de nombres distincts non nuls peut être mis dans un ordre qui évite les collisions entre sommes partielles. On peut le dire autrement: il faut trouver le bon ordre dans un univers où les valeurs reviennent à zéro une fois un certain seuil franchi.

C’est ce dosage très particulier entre une structure rigide et la liberté laissée au réarrangement qui a rendu le problème si coriace.

Fait plus inattendu, le problème est aussi devenu célèbre à cause d’une lecture en termes de jonglage. Ronald Graham n’était pas seulement un grand mathématicien. C’était aussi un jongleur accompli.

La conjecture se reformule alors de la façon suivante: si plusieurs balles ont des temps de vol différents, peut-on toujours choisir un ordre de lancement qui empêche deux balles de retomber au même instant? L’image dit très bien ce qui est en jeu: éviter des « atterrissages simultanés », autrement dit, dans le langage du problème, des collisions entre sommes partielles.

La percée récente s’appuie largement sur des méthodes probabilistes. D’après l’article de février 2026 de Lisa Sauermann et Pham Tuan Huy, la preuve mobilise des arguments aléatoires, des idées d’anticoncentration et des outils venus de l’analyse de Fourier. C’est aussi une bonne nouvelle pour la discipline elle-même, car la preuve ne résout pas seulement ce problème précis: elle montre comment des techniques modernes peuvent faire sauter des verrous sur de vieilles questions de combinatoire.

Autre aspect frappant, cette solution est présentée comme le résultat d’un effort très collectif, porté par une jeune génération de mathématiciens. Plusieurs contributions successives ont préparé le terrain avant l’article final de Lisa Sauermann et Pham Tuan Huy. Leur collaboration, indiquent-ils dans l’article de février 2026, aurait repris lors d’une conférence en Allemagne en septembre 2025.

Même si une version complètement générale, valable pour tous les nombres premiers, y compris les plus petits, peut encore demander quelques vérifications techniques, le cœur du problème est maintenant réglé, écrivent Lisa Sauermann et Pham Tuan Huy dans leur article de février 2026. Et ce n’est pas anodin: en combinatoire, ce genre d’avancée peut peser sur l’étude de structures très organisées, avec, à plus long terme, des effets possibles dans des domaines comme les fonctions de hachage ou les codes correcteurs d’erreurs.

Author: Manuel Bosque

{ "social": { "email": "", "facebook": "", "twitter": "", "linkedin": "" }, "ja-JP": "", "de-DE": "Manuel Bosque schreibt bei Softonic über Software: Desktop-Programme, Produktivitätswerkzeuge und kleine Tools, die ein Problem wirklich lösen. Sein Maßstab ist praktisch — was ein Programm tatsächlich leistet, was es dafür verlangt und für wen es sich lohnt —, deshalb misstraut er Funktionslisten und testet lieber selbst. Er gehört zum Team, das festlegt, wie Software auf der Seite behandelt wird, und arbeitet täglich mit KI-Werkzeugen in der redaktionellen Produktion.", "en-US": "Manuel Bosque covers software at Softonic: desktop programs, productivity tools and the small utilities that solve one problem well. His approach is practical — what a program actually does, what it asks in return and who it is for — which is why he distrusts feature lists and prefers to test. He is part of the team that decides how software gets covered on the site, and works daily with AI tools applied to editorial production.", "es-ES": "Manuel Bosque se ocupa de la cobertura de software en Softonic: programas de escritorio, herramientas de productividad y utilidades pequeñas que resuelven bien un solo problema. Su criterio es práctico —qué hace realmente un programa, qué pide a cambio y a quién le sirve—, y por eso desconfía de las listas de funciones y prefiere probar. Forma parte del equipo que decide cómo se cuenta el software en la web y trabaja a diario con herramientas de IA aplicadas a la producción editorial.", "fr-FR": "Manuel Bosque couvre les logiciels chez Softonic : programmes de bureau, outils de productivité et petits utilitaires qui résolvent bien un seul problème. Son approche est pratique — ce qu'un logiciel fait vraiment, ce qu'il demande en échange et à qui il s'adresse —, d'où sa méfiance envers les listes de fonctionnalités et sa préférence pour l'essai. Il fait partie de l'équipe qui définit la manière de traiter le logiciel sur le site et travaille au quotidien avec des outils d'IA appliqués à la production éditoriale.", "it-IT": "Manuel Bosque si occupa di software su Softonic: programmi per il desktop, strumenti di produttività e piccole utility che risolvono bene un solo problema. Il suo criterio è pratico — cosa fa davvero un programma, cosa chiede in cambio e a chi serve — e per questo diffida degli elenchi di funzioni e preferisce provare. Fa parte del team che decide come si racconta il software sul sito e lavora ogni giorno con strumenti di IA applicati alla produzione editoriale.", "nl-NL": "Manuel Bosque schrijft bij Softonic over software: desktopprogramma's, productiviteitstools en kleine hulpprogramma's die één probleem echt oplossen. Zijn maatstaf is praktisch — wat een programma werkelijk doet, wat het daarvoor vraagt en voor wie het nuttig is — en daarom wantrouwt hij functielijstjes en test hij liever zelf. Hij maakt deel uit van het team dat bepaalt hoe software op de site wordt behandeld en werkt dagelijks met AI-tools in de redactionele productie.", "pl-PL": "Manuel Bosque zajmuje się oprogramowaniem w Softonicu: programami na komputer, narzędziami do pracy i niewielkimi aplikacjami, które dobrze rozwiązują jeden problem. Jego kryterium jest praktyczne — co program naprawdę robi, czego wymaga w zamian i komu się przyda — dlatego nie ufa listom funkcji i woli sprawdzić sam. Należy do zespołu, który decyduje, jak pisać o oprogramowaniu w serwisie, i codziennie korzysta z narzędzi AI w produkcji redakcyjnej.", "pt-BR": "Manuel Bosque cobre software na Softonic: programas para desktop, ferramentas de produtividade e pequenos utilitários que resolvem bem um problema só. Seu critério é prático — o que um programa realmente faz, o que pede em troca e para quem serve — e por isso desconfia de listas de recursos e prefere testar. Faz parte da equipe que define como o software é abordado no site e trabalha diariamente com ferramentas de IA aplicadas à produção editorial." }