Pourquoi les conjectures font-elles avancer les maths ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. C'est vraiment un immense plaisir d'accueillir notre audience aujourd'hui pour une exploration qui risque de faire chauffer quelques neurones.

Intervenant 20:10

Ah bah ça c'est garanti !

Intervenant 10:11

Ouais, parce que imaginons un instant qu'il existe quelque part une équation si puissante, si fondamentale, qu'elle pourrait instantanément déverrouiller l'intégralité des systèmes de sécurité bancaire de la planète.

Intervenant 20:24

Rien que ça ?

Intervenant 10:25

Voilà. Et cette équation, ou plutôt ce principe algorithmique, il existe bel et bien sur le papy, mais personne ne sait encore si la théorie qui le sous-tend est vraie ou fausse.

Intervenant 20:34

C'est ça qui est fascinant.

Intervenant 10:35

Et d'ordinaire, c'est vrai que la perception qu'on a des mathématiques dans le grand public, c'est une discipline super froide, achevée, genre un gigantesque livre de théorames un peu poussiéreux où tout est blanc ou noir.

Intervenant 20:46

Ouais, c'est une vision hyper répandue. Mais en fait, ça masque complètement la véritable nature de la recherche.

Intervenant 10:53

Ah bon ?

Intervenant 20:53

Bah oui. Ce qui fait vibrer les mathématiques contemporaines, c'est pas du tout les certitudes acquises. C'est vraiment les immenses zones d'ombre. Les maths, ça ressemble beaucoup plus à un énorme chantier naval perpétuel, tu vois ?

Intervenant 11:05

Ok, je vois l'image.

Intervenant 21:06

L'absence de solution face à un problème, c'est jamais perçu comme un échec définitif par les chercheurs. C'est plutôt un moteur. C'est littéralement une injonction à forger de nouveaux outils conceptuels.

Intervenant 11:16

Et le carburant principal de ce moteur, c'est ce qu'on appelle la conjecture. Alors, juste pour poser les bases rapidement pour ceux qui nous écoutent, une conjecture, en gros, c'est une affirmation que la communauté mathématique pressent intimement comme étant vraie.

Intervenant 21:31

Souvent parce qu'elles se vérifient sur des millions de cas pratiques d'ailleurs.

Intervenant 11:34

C'est ça. Mais le truc, c'est qu'elle n'a pas encore reçu de démonstration logique, formelle et complètement irréfutable.

Intervenant 21:41

Exactement.

Intervenant 11:42

Cela dit, j'aimerais qu'on dissipe tout de suite un malentendu. Parce qu'en lisant les sources de Tangente pour préparer cette émission, on se rend vite compte que toutes les conjectures ne se valent pas du tout.

Intervenant 21:51

Ah ben non, clairement pas.

Intervenant 11:53

Du coup, comment on sépare la simple devinette de géométrie du véritable monstre sacré qui va obséder des générations entières ?

Intervenant 22:00

La différence, elle réside vraiment dans la fécondité du problème. Nos sources citent un exemple géométrique qui est très parlant pour ça.

Intervenant 12:07

Vas-y.

Intervenant 22:08

Prenons quelques points disposés de manière très spécifique sur un plan. À l'œil nu, la figure formée, disons un parallélogramme, ABCD, elle semble être un rectangle parfait. D'accord. Du coup, il est tout à fait légitime de conjecturer qu'il s'agit d'un rectangle. Mais pour vérifier ça, il suffit de calculer la valeur d'un de ces angles.

Intervenant 12:27

Ouais, avec de la trigo basique.

Intervenant 22:29

Exactement. Et si l'application de ces formules classiques nous révèle que cet angle fait 89 degrés et pas 90 ?

Intervenant 12:36

Bah la conjecture s'effondre.

Intervenant 22:37

Voilà, elle meurt de sa belle mort. C'est un exercice qui est fini, tu vois. Ça n'a exigé absolument aucune créativité mathématique supplémentaire pour être résolu ou réfuté.

Intervenant 12:47

C'est juste une impasse quoi.

Intervenant 22:48

Totalement.

Intervenant 12:49

Alors qu'une vraie, grande conjecture, elle agit plutôt comme un catalyseur. D'après ce que j'ai lu, elle doit non seulement résister aux assauts du temps, mais surtout elle doit forcer les chercheurs à inventer de nouvelles branches des mathématiques juste pour espérer les fleurer.

Intervenant 23:03

C'est exactement ça.

Intervenant 13:04

Et sans oublier un paradoxe qui est assez fou je trouve. C'est que les conjectures les plus tenaces de l'histoire, elles s'énoncent souvent dans un langage compréhensible par n'importe quel collégien.

Intervenant 23:15

Ah oui, et le cas d'école absolu pour ça, c'est la conjecture de Golbach.

Intervenant 13:18

Ah, Golbach ?

Intervenant 23:19

Oui. Formulé en 1742 dans une correspondance, puis un peu remodelé par Léonard Dolaire, son énoncé, il est d'une pureté vraiment saisissante.

Intervenant 13:28

C'est quoi déjà ?

Intervenant 23:29

Tout nombre paire, à partir de 4, peut s'écrire comme la somme de deux nombres premiers.

Intervenant 13:34

C'est tout ?

Intervenant 23:35

C'est tout. Et on peut l'expérimenter mentalement super vite.

Intervenant 13:38

Ouais, bah 4 s'écrit 2 plus

Intervenant 23:39

2. Voilà, 6 s'écrit 3 plus 3, 8 s'écrit 3 plus 5.

Intervenant 13:43

On peut monter à 100, qui est 97 plus 3.

Intervenant 23:45

C'est ça. Et aujourd'hui, on a des supercalculateurs qui ont vérifié cette règle jusqu'à des nombres vertigineux avec des dizaines de zéros.

Intervenant 13:52

Mais on touche ici à la limite de l'empirisme en fait.

Intervenant 23:55

Complètement.

Intervenant 13:56

Parce que l'infini arithmétique, ça se laisse pas dompter par la force brute d'un ordinateur. Accumuler un milliard de milliards d'exemples valides, ça vaudra jamais une preuve universelle.

Intervenant 24:05

Non, ça ne remplace pas une démonstration mathématique.

Intervenant 14:08

Et ce qui m'interpelle dans cette exploration, c'est finalement pas de savoir si Euler ou Golbach avaient raison.

Intervenant 24:13

Ah bon ? C'est quoi alors ?

Intervenant 14:15

C'est de voir à quel point cette énigme, elle a agi comme une sorte de porte verrouillée dans un jeu vidéo en monde ouvert.

Intervenant 24:20

Ah j'aime bien l'analogie.

Intervenant 14:22

Bah tu sais, face à cette porte fermée, les mathématiciens ont été forcés d'explorer toute la carte environnante. Ils ont dû cartographier la structure intime des nombres premiers pour espérer forger une clé qui ouvrirait cette porte. C'est très juste. Et le truc de dingue, c'est que les outils développés lors de cette quête ont trouvé des applications complètement insoupçonnées. Ça constitue aujourd'hui le socle même de la cryptologie qui sécurise toutes nos communications numériques.

Intervenant 24:44

Et cette métaphore du jeu vidéo, elle illustre parfaitement ce concept de fécondité dont on parlait. Ouais. L'effort collectif pour tenter d'approcher Goldbach, ça a donné naissance à des pans entiers de la théorie analytique des nombres.