🔢 Conjecture de Collatz

Le temps d'arrêt (aussi appelé temps d'arrêt total) d'un nombre n est le nombre d'itérations de la règle de Collatz nécessaires avant que la séquence n'atteigne 1 pour la première fois. L'étude des temps d'arrêt révèle une structure de type fractal : des entiers voisins peuvent avoir des temps d'arrêt radicalement différents, comme le montre la carte de chaleur. Les mathématiciens analysent les temps d'arrêt statistiquement — le temps d'arrêt moyen croît approximativement comme log(n), mais les valeurs individuelles fluctuent énormément. Comprendre les distributions des temps d'arrêt est l'une des pistes utilisées par les chercheurs pour étudier si la conjecture pourrait être démontrable par des arguments probabilistes.

En 2026, la conjecture de Collatz reste non démontrée. En 2019, Terence Tao a publié un article marquant montrant que « presque toutes » les séquences de Collatz atteignent effectivement 1, dans un sens probabiliste précis, mais une preuve complète pour tout entier positif fait toujours défaut. Aucun contre-exemple n'a jamais été trouvé malgré des recherches informatiques exhaustives couvrant les nombres jusqu'à 2 puissance 68. Le problème est considéré comme l'une des questions ouvertes les plus notoires des mathématiques précisément parce que son énoncé est si simple, alors que sa résolution semble exiger des idées mathématiques fondamentalement nouvelles.

Une idée reçue courante est que, puisque la conjecture a été vérifiée pour des billions de nombres, elle doit forcément être vraie et n'a besoin que d'une preuve de routine. En réalité, il existe de nombreuses conjectures en théorie des nombres qui sont valables sur de vastes plages de cas mais finissent par échouer pour un nombre extrêmement grand. La difficulté avec Collatz est que le comportement de la séquence semble véritablement chaotique — il n'y a aucun motif évident ni structure algébrique qui permettrait une preuve par récurrence ou une analyse directe. L'ampleur des cas vérifiés ne remplace pas une preuve mathématique.

Lothar Collatz, mathématicien allemand, est crédité d'avoir posé le problème le premier vers 1937, bien qu'il l'ait peut-être envisagé dès 1932. La conjecture s'est diffusée dans les cercles mathématiques essentiellement par le bouche-à-oreille et est devenue largement connue après avoir été discutée lors de conférences internationales dans les années 1950 et 1960. Elle a depuis été connue sous de nombreux noms : le problème de Syracuse, le problème de Kakutani, le problème d'Ulam et l'algorithme de Hasse, reflétant à quel point elle a été redécouverte indépendamment par différents chercheurs. Le nom « conjecture de Collatz » ne s'est imposé que progressivement.

La conjecture de Collatz est liée à l'étude des applications itérées et des systèmes dynamiques sur les entiers. L'arbre de Collatz présenté dans ce visualiseur est un exemple de structure d'arbre binaire où chaque nœud a un prédécesseur unique selon la règle « paire » (2n) et éventuellement un second prédécesseur selon la règle « impaire ». Les problèmes connexes incluent les conjectures généralisées 3n+k et le problème plus complexe 5n+1, pour lequel des contre-exemples (séquences divergentes) sont effectivement connus, illustrant à quel point ces problèmes sont sensibles à la règle exacte choisie. Des liens avec la théorie des suites automatiques et des nombres p-adiques ont également été explorés.

Le problème de Collatz lui-même n'est pas utilisé dans la technologie pratique, mais il présente des liens importants avec l'informatique théorique. C'est l'un des premiers exemples que rencontrent les étudiants d'un algorithme dont la terminaison ne peut être démontrée à partir de sa seule spécification — directement lié à la théorie de la calculabilité et au problème de l'arrêt. La fonction de Collatz a également été étudiée comme référence pour l'arithmétique de précision arbitraire, car les nombres de départ « champions » (comme 837 799) produisent des séquences nécessitant des valeurs intermédiaires très importantes. Certaines fonctions de hachage cryptographiques et certains générateurs de nombres pseudo-aléatoires se sont inspirés des propriétés de mélange des applications entières chaotiques similaires à celle de Collatz.

Les directions de recherche actuelles incluent l'approche probabiliste de Tao (2019), qui a démontré que pour toute fonction tendant vers l'infini, presque toutes les orbites de Collatz atteignent des valeurs inférieures à cette fonction — ce qui est le plus proche d'une preuve complète jamais obtenu. D'autres chercheurs explorent des liens avec la théorie ergodique, la géométrie tropicale et la théorie des pavages apériodiques. Les efforts de calcul distribué (comme le projet Collatz@Home) continuent de repousser la plage vérifiée. Certains mathématiciens soupçonnent que la conjecture pourrait être indécidable dans les systèmes axiomatiques standards, ce qui signifierait qu'elle est vraie mais indémontrable, la plaçant dans la même catégorie que certains énoncés étudiés dans les fondements des mathématiques.