Conjectures sans preuve : un parcours qui fait avancer les maths

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Aujourd'hui, l'exploration nous emmène au bord d'un gouffre, sur une ligne de démarcation vraiment vertigineuse dans le monde des mathématiques.

Intervenant 20:11

Bonjour tout le monde. Eh oui, une frontière fondamentale, et même parfois dramatique, entre une simple conjecture et un théorème validé gravé dans le marbre.

Intervenant 10:21

Et c'est un sujet qui me passionne. Quand on y pense, le terme de conjecture a une vraie poésie. Ça vient du latin « cum jacere », ça signifie littéralement « jeter avec » ou « lancer une idée ».

Intervenant 20:33

Ouais, c'est une très belle image. L'esprit humain observe le comportement des nombres, repère un motif récurrent et lance une hypothèse dans l'univers, en espérant qu'elle soit vraie au fond.

Intervenant 10:44

Mais la route pour prouver cette intuition, ah là là, c'est une autre histoire. Le cas d'école incontournable, c'est évidemment le dernier théorème de Fermat. Pierre de Fermat lance son idée au XVIIe siècle, gribouillé dans la marge d'un bouquin.

Intervenant 20:58

C'est ça, en prétendant détenir une preuve merveilleuse qui n'a pas la place d'écrire.

Intervenant 11:04

Le fameux manque de place. Et ensuite ?

Intervenant 21:06

Plus rien. Le silence absolu pendant 350 ans. Des siècles de recherches acharnées, des carrières entières sacrifiées sur l'autel de ce problème.

Intervenant 11:16

Jusqu'à ce que le mathématicien britannique Andrew Wiles le démontre complètement en 1995.

Intervenant 21:22

Trois siècles et demi de frustration, c'est fou !

Intervenant 11:24

Alors, c'est un point de départ parfait. Parce qu'il y a une idée reçue très tenace qui dit que ces 350 années seraient une longue traversée du désert, genre une suite d'échecs cuisants.

Intervenant 21:34

Ah bon ?

Intervenant 11:35

C'est pas le

Intervenant 21:35

cas. Or, c'est pas la destination finale, la preuve de Wiles qui a été le plus vital pour les mathématiques. C'est précisément cette quête soi-disant infructueuse. L'incapacité de résoudre Fermat avec les outils de l'époque, ça a agi comme un moteur d'innovation brutal.

Intervenant 11:53

D'accord, l'obstacle crée l'outil en

Intervenant 21:55

fait. Exactement. Pour espérer vaincre ce problème, des générations de chercheurs ont dû forger de nouvelles armes conceptuelles. Ils ont développé la théorie algébrique des nombres, théorisé les idéaux. Et Wiles lui-même a dû jeter un pont inespéré entre les courbes elliptiques et les formes modulaires.

Intervenant 12:13

L'échec a littéralement forcé la discipline à s'étendre. C'est fascinant d'envisager l'échec non pas comme un mur, mais comme un échafaudage. Ok, décortiquons tout ça.

Intervenant 22:23

Avec

Intervenant 12:23

plaisir. L'objectif de notre exploration aujourd'hui, c'est de plonger tête la première dans les mystères mathématiques non résolus, les plus brûlants. Ces conjectures qui résistent encore.

Intervenant 22:34

Et on va parcourir des domaines très variés, de la théorie des nombres purs jusqu'aux frontières des systèmes dynamiques.

Intervenant 12:40

Tout à fait. Et la première étape illustre parfaitement ce que j'appelle le piège de la simplicité. La théorie des nombres a cette habitude un peu sadique de cacher des monstres sous des énoncés qui tiennent sur un post-it, quoi.

Intervenant 22:52

Ah oui, et la conjecture de Syracuse en est l'incarnation absolue.

Intervenant 12:57

Le fameux problème 3N plus 1. Je crois que son origine remonte à l'allemand Lothar Kollatz en 1937, non ?

Intervenant 23:04

C'est ça, mais c'est l'heure d'un colloque à l'université de Syracuse dans les années 50 qu'elle s'est propagée comme un virus dans la communauté scientifique.

Intervenant 13:12

Alors, l'algorithme est redoutable, parce qu'il manipule simplement la parité. Je donne la règle, elle est hyper ludique. Vas-y. On prend un entier strictement positif. Si il est pair, on le divise par 2. S'il est impair, on le multiplie par 3 et on ajoute 1. Et on boucle cette opération. La conjecture postule que, quelle que soit la valeur de départ, on atterrira inévitablement sur le cycle 4, puis 2, puis 1.

Intervenant 23:37

Mais l'évolution de la suite est totalement erratique. Partir du nombre 27, c'est le parfait exemple de cette folie. La valeur va monter jusqu'à des sommets, atteindre plus de 9000, plonger, rebondir… Ah

Intervenant 13:50

ouais, les montagnes russes !

Intervenant 23:51

Exactement. Et il faudra très exactement 111 itérations avant de finalement s'écraser sur le chiffre 1.

Intervenant 13:58

C'est un flipper mathématique infernal. Le lance-bille propulse la trajectoire via la règle des impairs et la gravité la fait chuter brutalement avec la division par deux. Et au final, peu importe la force du lancer, la boule finit toujours dans le trou du chiffre 1.

Intervenant 24:12

Ce qui est fascinant ici, c'est vraiment la dichotomie entre un algorithme itératif basique et l'incapacité de concevoir une preuve universelle. D'ailleurs, faut pas croire que la communauté reste les bras croisés.

Intervenant 14:24

Ah non, ça calcule à plein régime.

Intervenant 24:25

Oui, la force de calcul brute permet de repousser les limites. En 2020, David Barina a vérifié informatiquement ça jusqu'à presque 3 fois 10 puissance 20.

Intervenant 14:34

C'est gigantesque, mais un test par force brute, ça n'a aucune valeur de preuve universelle.

Intervenant 24:39

Voilà, alors on attaque par les probabilités. En 2003, Krasikov et Lagarias ont posé des bords en analytique.