Pourquoi la notion de difficulté mathématique reste-t-elle subjective ?
On a tendance à croire que les mathématiques sont une science binaire : c'est vrai ou c'est faux. Sauf que la réalité du chercheur est bien plus nuancée, car la difficulté peut revêtir plusieurs visages. Il y a la difficulté de l'énoncé, celle de la preuve, et enfin celle de la vérification. Certains problèmes se posent en deux lignes mais nécessitent des siècles pour être résolus. D'autres demandent des milliers de pages de calculs rébarbatifs. Le truc c'est que la difficulté absolue n'existe pas, elle dépend du cadre logique dans lequel on se place.
La longueur de la démonstration n'est pas tout
Prenez le théorème des quatre couleurs. Sa démonstration a fait scandale en 1976 parce qu'elle reposait massivement sur l'informatique. Était-ce dur ? Pour l'ordinateur, non. Pour les humains qui ont dû concevoir l'algorithme, c'était un défi de logique pure, mais pas forcément une révolution conceptuelle. On est loin de la souffrance intellectuelle d'un mathématicien qui doit inventer un tout nouvel univers pour résoudre une simple équation. La vraie dureté, elle est là : quand les outils existants ne suffisent plus et qu'il faut créer un nouveau langage.
Le saut conceptuel, ce mur invisible
Là où ça coince souvent, c'est dans le passage de l'intuition à la rigueur. Un théorème peut sembler évident, mais sa preuve peut exiger des concepts qui n'ont rien à voir avec le sujet de départ. C'est ce qu'on appelle la transversalité. Un mathématicien peut passer 20 ans de sa vie à chercher un lien entre deux domaines que tout oppose, comme l'analyse complexe et la théorie des nombres. C'est cette recherche de ponts invisibles qui rend certains théorèmes proprement inaccessibles au commun des mortels (et même à 99 % des docteurs en mathématiques).
La conjecture ABC et le séisme Shinichi Mochizuki
Si vous voulez vraiment savoir ce qui empêche les plus grands génies de dormir, tournez-vous vers la conjecture ABC. Sur le papier, c'est presque simple : elle concerne la relation entre les facteurs premiers de trois nombres entiers a, b et c tels que a + b = c. Mais en 2012, le mathématicien japonais Shinichi Mochizuki a publié quatre articles totalisant plus de 500 pages pour proposer une démonstration. Le problème ? Il a inventé une toute nouvelle branche des mathématiques, la Théorie de Teichmüller inter-universelle (IUTT), pour y parvenir.
L'Inter-Universal Teichmüller Theory : un ovni logique
Honnêtement, c'est flou pour tout le monde. Imaginez un labyrinthe où les murs changent de place dès que vous clignez des yeux, construit sur des fondations logiques que seuls trois ou quatre cerveaux sur Terre prétendent saisir avec certitude. Mochizuki ne se contente pas de manipuler des chiffres ; il déconstruit la structure même de l'addition et de la multiplication pour les traiter de manière séparée dans des "univers" différents avant de les lier à nouveau par des déformations extrêmes. C'est d'une abstraction si violente que même Peter Scholze, l'un des plus grands mathématiciens actuels et médaillé Fields, a déclaré y avoir trouvé une faille irréparable. Mais Mochizuki, lui, maintient que Scholze n'a simplement pas compris sa théorie.
Pourquoi la communauté mathématique se déchire encore
C'est une situation inédite dans l'histoire moderne. D'un côté, une école japonaise qui valide la preuve et l'a même publiée dans une revue de prestige (dirigée, certes, par Mochizuki lui-même). De l'autre, le reste du monde, emmené par les ténors de l'arithmétique, qui reste sceptique. 12 ans après la publication initiale, le consensus n'existe toujours pas. On n'est plus dans la science pure, on touche à la psychologie et à la sociologie des experts. Est-ce le théorème le plus dur ? Si l'on définit la dureté par l'incapacité des meilleurs experts mondiaux à s'accorder sur la validité d'une preuve après une décennie d'étude, alors oui, c'est le champion incontesté.
Le théorème de Fermat : 358 ans de traque acharnée
On ne peut pas parler de difficulté sans évoquer Pierre de Fermat. En 1637, il écrit dans la marge d'un livre qu'il possède une "merveilleuse démonstration" du fait que l'équation x^n + y^n = z^n n'a pas de solution entière pour n supérieur à 2. Mais il n'a pas la place de l'écrire. Résultat : les mathématiciens ont mis 358 ans pour retrouver ce qu'il prétendait avoir trouvé. C'est Andrew Wiles qui, en 1994, a finalement mis un point final à cette épopée.
Wiles s'est isolé pendant sept ans. Sept ans de secret total, à travailler dans son grenier, à assembler des pièces de puzzle venant de la théorie des courbes elliptiques et des formes modulaires. Sa démonstration initiale faisait environ 150 pages. Mais peu après sa présentation, une erreur fut découverte. Il lui a fallu une année supplémentaire, avec l'aide de Richard Taylor, pour colmater la brèche. Ce qui rend ce théorème "dur", c'est la disproportion entre la simplicité de l'énoncé (un collégien peut le comprendre) et la sophistication monstrueuse des outils nécessaires pour le vaincre. Je reste convaincu que Fermat n'avait jamais eu de démonstration rigoureuse ; il avait probablement une intuition géniale, mais les outils de l'époque ne permettaient tout simplement pas de gravir cette montagne.
La conjecture de Poincaré et l'ermite Grigori Perelman
La conjecture de Poincaré est le seul des sept problèmes du prix du millénaire à avoir été résolu. Pour faire simple, elle traite de la forme de l'univers, ou plus précisément de la topologie des sphères en trois dimensions. Pendant un siècle, les plus grands topologues s'y sont cassé les dents. Et puis, en 2002, un mathématicien russe du nom de Grigori Perelman a posté trois articles sur un serveur de prépublication. Il n'a pas cherché à publier dans une revue, il a juste jeté sa solution au monde avant de disparaître.
Perelman a utilisé le "flot de Ricci", une technique issue de la géométrie différentielle et de la physique, pour lisser les irrégularités d'une forme jusqu'à ce qu'elle devienne une sphère parfaite. C'était une approche d'une audace folle. Le plus fascinant ? Perelman a refusé la médaille Fields et le million de dollars promis par l'institut Clay. Il vit aujourd'hui reclus à Saint-Pétersbourg, affirmant que sa contribution n'est pas plus importante que celle de Richard Hamilton, qui avait initié les travaux sur le flot de Ricci. Cette dureté-là est presque mystique : elle a consumé l'homme qui l'a résolue.
Le "Théorème Énorme" : 15 000 pages de classification
Si la conjecture ABC est dure par son abstraction, la classification des groupes simples finis est dure par son volume. On l'appelle souvent le "Théorème Énorme". Sa preuve n'est pas l'œuvre d'un seul homme, mais d'une centaine de mathématiciens répartis sur plusieurs décennies. Le résultat final ? Une démonstration qui s'étale sur environ 15 000 pages dispersées dans des centaines d'articles de revues spécialisées.
Le problème, c'est que personne ne peut prétendre avoir lu et vérifié l'intégralité de la preuve seul. C'est une œuvre collective qui pose une question fondamentale : peut-on encore parler de certitude mathématique quand la preuve dépasse les capacités de lecture d'une vie humaine ? Des efforts sont en cours pour simplifier cette classification (le projet de deuxième génération), mais on est loin du compte. On estime qu'il faudra encore des années pour que tout soit compilé de manière propre et cohérente. C'est une forme de difficulté logistique et encyclopédique qui n'a aucun équivalent dans l'histoire des sciences.
Pourquoi certains problèmes millénaires nous résistent encore
L'hypothèse de Riemann est sans doute le Graal ultime. Elle concerne la répartition des nombres premiers. Si vous la résolvez, vous devenez instantanément immortel dans l'histoire des idées. Mais là où ça coince, c'est que l'hypothèse semble liée à tellement de domaines différents (physique quantique, statistiques, analyse complexe) qu'on ne sait même pas par quel bout la prendre. Or, plus un problème est central, plus il est protégé par des couches de complexité. C'est un peu comme essayer de comprendre le code source de l'univers en ne regardant que des ombres sur un mur.
Reste que la difficulté est parfois une illusion due à notre manque de perspective. Il se peut qu'un jour, un étudiant trouve une astuce de trois pages qui rende caduques les 500 pages de Mochizuki. Mais en attendant, nous sommes obligés de grimper avec nos piolets conceptuels. À ceci près que la montagne, ici, est faite de pur esprit. Et c'est précisément là que réside la beauté de la discipline : la difficulté n'est pas un obstacle, c'est le moteur même de la découverte.
Questions fréquentes sur les records mathématiques
Quel est le problème mathématique le plus long à résoudre ?
Le record est détenu par le dernier théorème de Fermat, qui a tenu 358 ans. Cependant, certains problèmes datant de l'Antiquité grecque, comme la quadrature du cercle ou la duplication du cube, ont techniquement attendu plus de 2000 ans avant que l'on prouve qu'ils étaient insolubles avec une règle et un compas. Mais en termes de recherche active et ininterrompue, Fermat reste la référence absolue de l'obstination humaine.
Qui est le mathématicien le plus intelligent de l'histoire ?
C'est une question piège, mais les noms de Leonhard Euler, Carl Friedrich Gauss et John von Neumann reviennent systématiquement. Von Neumann, par exemple, était capable d'effectuer des calculs complexes de tête à une vitesse dépassant celle des premiers ordinateurs. Mais si l'on parle de profondeur conceptuelle, un homme comme Alexandre Grothendieck a littéralement réinventé la géométrie algébrique moderne, changeant la façon dont tous les autres mathématiciens pensent aujourd'hui.
Peut-on prouver qu'un théorème est impossible à démontrer ?
Oui, et c'est peut-être la découverte la plus déstabilisante du XXe siècle. Kurt Gödel, avec son théorème d'incomplétude en 1931, a prouvé que dans tout système logique assez puissant, il existe des propositions qui sont vraies mais que l'on ne peut pas démontrer à l'intérieur de ce système. Autant dire que certains "théorèmes" très durs sont peut-être tout simplement indémontrables avec nos outils actuels.
Le verdict : choisir son camp entre longueur et abstraction
Alors, quel est le verdict ? Si vous mesurez la difficulté à la sueur collective et au nombre de pages, le théorème de classification des groupes simples finis est le grand vainqueur avec ses 15 000 pages de calculs brutaux. C'est l'Everest des mathématiques, une masse de granit qu'il a fallu tailler centimètre par centimètre pendant cinquante ans. Mais si vous mesurez la difficulté à l'isolement intellectuel et à la rupture avec le sens commun, alors la conjecture ABC version Mochizuki est sans aucun doute le sommet le plus vertigineux.
Je trouve ça fascinant (et un peu effrayant) de penser que nous sommes arrivés à un point où les mathématiques deviennent si spécialisées qu'une preuve peut exister sans que personne, à part son auteur, ne soit capable de la valider. C'est une crise de la connaissance. Au final, le théorème le plus dur n'est peut-être pas celui qui demande le plus de calculs, mais celui qui exige que l'on change radicalement notre façon de percevoir la réalité numérique. Et pour l'instant, Mochizuki est le seul habitant de son propre sommet. Du coup, la question reste ouverte : est-ce du génie pur ou un magnifique mirage ? L'histoire, comme toujours, finira par trancher, mais cela prendra sans doute encore quelques décennies de maux de tête généralisés.