|
Édition du: 31/07/2026 |
|
INDEX |
HISTOIRE |
||
Faites un double-clic pour un retour en haut de page
|
Histoire des Maths Les grandes révolutions Depuis les premiers systèmes de numération jusqu'à
l'intelligence artificielle, les mathématiques n'ont cessé de se réinventer.
Leur histoire est jalonnée de grandes révolutions qui ont transformé notre
manière de compter, de raisonner et de démontrer. L'IA
pourrait inaugurer une nouvelle étape, où produire des preuves deviendrait
plus facile que les comprendre, les sélectionner et leur donner un sens. |
||
|
|
Sommaire de cette page >>> Des cailloux aux intelligences
artificielles >>> Les révolutions successives >>> Terence TAO – Son point de vue |
Débutants Glossaire |
Voir Tout sur la
LOGIQUE et L'IA (dont le livre en pdf)
|
Les grandes révolutions
qui ont transformé les mathématiques… et celles qui s'annoncent Pendant plus de deux
millénaires, les mathématiques ont progressé selon un rythme presque
immuable. Une idée nouvelle apparaissait, était discutée, perfectionnée, puis
intégrée progressivement au patrimoine scientifique. Les démonstrations se
comptaient par dizaines ou par centaines chaque année. Les grandes théories
naissaient à l'échelle d'une génération, parfois d'un siècle. Aujourd'hui, ce paysage
est en train de changer. Comme l'a récemment souligné le médaillé Fields Terence Tao, nous pourrions bientôt entrer dans une époque où
les intelligences artificielles produiront davantage de preuves que les
mathématiciens ne pourront raisonnablement les lire, les comprendre ou même
les classer. Le problème ne serait plus de découvrir des démonstrations, mais
de gérer leur abondance. |
Cette situation n'est
pourtant pas une rupture totale avec l'histoire des mathématiques. Elle
constitue plutôt l'aboutissement d'une longue succession de révolutions
intellectuelles, chacune ayant profondément modifié la manière de penser les
nombres, les figures, les raisonnements et, finalement, la connaissance
elle-même. |
|
|
1 - Le nombre devient une idée |
Les premiers peuples
savaient compter bien avant de disposer de symboles. Le nombre était d'abord
associé à une collection concrète : trois moutons, cinq pierres ou dix jours.
L'invention des systèmes de numération, depuis les Babyloniens jusqu'au
système décimal indo-arabe, permit au nombre de devenir un objet abstrait. Le calcul cessa d'être
uniquement une activité pratique pour devenir un langage universel. |
|
|
2 - Inventer la démonstration |
Les Grecs accomplirent
une avancée décisive : ils remplacèrent l'observation par le raisonnement.
Avec Euclide, la vérité mathématique ne dépendait plus de l'expérience mais
d'un enchaînement logique fondé sur des axiomes. Les Éléments constituèrent
pendant plus de deux mille ans le modèle de toute pensée scientifique. Les
mathématiques devenaient la science du raisonnement rigoureux. |
|
|
3 - L'algèbre apprend à raisonner sur l'inconnu |
Les Babyloniens
savaient résoudre certaines équations ; les mathématiciens arabes, notamment
Al-Khwarizmi, transformèrent cette pratique en méthode générale. Plus tard, Viète puis
Descartes introduisirent un langage symbolique où les lettres représentaient
les inconnues. Les mathématiques cessèrent de manipuler uniquement des
nombres pour étudier des relations générales. |
|
|
4 - Unir les nombres et les figures |
Descartes réalisa une
synthèse remarquable en créant la géométrie analytique. Une courbe devenait
une équation, et une équation pouvait être représentée par une courbe. Deux disciplines
longtemps séparées fusionnaient en une seule, ouvrant la voie à toute la
physique moderne. |
|
|
5 - Mesurer le changement |
Au XVIIᵉ siècle,
Newton et Leibniz inventèrent le calcul infinitésimal. Les mathématiques
purent enfin décrire le mouvement, la vitesse, l'accélération, les variations
continues et les phénomènes naturels. Elles devenaient l'outil privilégié des
sciences de la nature. |
|
|
6 - Faire entrer le hasard dans la science |
Avec Pascal, Fermat,
Bernoulli puis Laplace, les probabilités transformèrent l'incertitude en
objet mathématique. Les statistiques, les assurances, la physique quantique,
l'économie ou encore l'intelligence artificielle trouvent aujourd'hui leurs
racines dans cette révolution exceptionnelle. |
|
|
7 - Découvrir que plusieurs géométries sont
possibles |
Pendant plus de deux
mille ans, la géométrie d'Euclide semblait être la seule imaginable. Au XIXᵉ
siècle, Lobatchevski, Bolyai et Riemann montrèrent qu'il existait d'autres
géométries tout aussi cohérentes. Cette découverte bouleversa la philosophie
des mathématiques et préparera plus tard la théorie de la relativité. |
|
|
8 - Élargir sans cesse la famille des nombres |
Les irrationnels, les
nombres complexes, les quaternions, les matrices, les groupes, les anneaux et
les corps montrèrent progressivement que les mathématiques pouvaient créer
des objets entièrement nouveaux. Leur existence ne dépendait plus du monde
physique mais uniquement de leur cohérence logique. |
|
|
9 - Apprivoiser l'infini |
Georg Cantor démontra
que l'infini n'était pas unique. Certains infinis sont plus grands que
d'autres. Les cardinaux transfinis ouvrirent un domaine entièrement nouveau,
la théorie des ensembles, qui allait devenir le socle de presque toutes les
mathématiques modernes. |
|
|
10 - Comprendre les limites du raisonnement |
Au début du XXᵉ
siècle, David Hilbert espérait formaliser entièrement les mathématiques. Kurt Gödel démontra en
1931 que ce rêve était impossible : tout système logique suffisamment
puissant contient des vérités qu'il ne peut démontrer lui-même. Les
mathématiques découvrirent leurs propres limites. |
|
|
11 - Définir ce qu'une machine peut calculer |
Alan Turing transforma
une question philosophique en théorie scientifique : qu'est-ce qu'un calcul ?
Sa machine abstraite permit de distinguer les problèmes calculables de ceux
qui ne le sont pas. Cette idée fondatrice
donna naissance à l'informatique théorique. |
|
|
12 - Les ordinateurs deviennent partenaires des
mathématiciens |
L'arrivée des
ordinateurs permit des calculs impossibles auparavant. Les preuves assistées
par ordinateur apparurent, notamment avec le théorème des quatre couleurs.
Peu à peu, les logiciels de calcul symbolique, les bases de données et les
assistants de preuve modifièrent profondément la pratique des chercheurs. |
|
|
13 - La preuve devient formelle |
Des systèmes comme
Lean, Coq ou Isabelle ne découvrent pas les théorèmes mais vérifient
rigoureusement chaque étape d'une démonstration. La certitude mathématique
n'est plus seulement garantie par la lecture humaine ; elle peut désormais
être validée mécaniquement. |
|
|
14 - L'intelligence artificielle entre en scène |
Les intelligences
artificielles ne se contentent plus d'exécuter des calculs. Elles proposent
des conjectures, suggèrent des stratégies de démonstration, établissent des
rapprochements inattendus entre domaines différents et participent déjà à
certaines recherches de pointe. Pour la première fois,
une machine contribue à la créativité mathématique elle-même. |
|
|
Et en suite … |
||
|
Vers une nouvelle ère : le défi n'est plus de
démontrer, mais de comprendre |
C'est précisément ce
changement qui préoccupe Terence Tao. Pendant des siècles, une démonstration
constituait autant une preuve qu'un récit intellectuel. Elle révélait une
idée, une méthode, une intuition. Demain, une intelligence artificielle
pourrait produire des milliers de démonstrations exactes chaque jour. Lesquelles faudra-t-il
enseigner ? Lesquelles contiennent une idée réellement féconde ? Lesquelles
ouvriront une nouvelle branche des mathématiques ? La rareté ne concernera
peut-être plus les preuves, mais l'intelligence qu'il faudra mobiliser pour
les sélectionner, les relier entre elles et leur donner un sens. |
|
|
La prochaine révolution : devenir les architectes
du savoir |
Les précédentes
révolutions ont successivement appris à l'humanité à compter, démontrer,
calculer, modéliser, formaliser puis automatiser le raisonnement. La
prochaine pourrait être d'une nature différente : organiser une production
mathématique devenue pratiquement illimitée. Le rôle du
mathématicien évoluerait alors profondément. Il serait moins le fabricant de
chaque démonstration que le concepteur des grandes questions, l'architecte
des théories, l'interprète des découvertes produites avec l'aide des
machines. L'intelligence artificielle ne remplacerait pas la créativité
humaine ; elle en déplacerait le centre de gravité. Peut-être les
générations futures considéreront-elles cette période comme la quinzième
grande révolution des mathématiques : non plus l'invention d'un nouvel objet
ou d'une nouvelle méthode, mais l'apparition d'un compagnon intellectuel
capable de participer lui-même à la construction du savoir. C'est sans doute la
première fois, depuis Euclide, que la manière même de faire des mathématiques
est appelée à se transformer aussi profondément. |
|
|
Terence Tao en juillet 2026
: lorsque le défi des mathématiques ne sera plus de démontrer, mais de
comprendre. Il
souligne que l'intelligence artificielle pourrait transformer la recherche
mathématique de façon aussi profonde que l'invention de l'imprimerie ou de
l'ordinateur. Selon
lui, les systèmes d'IA sont Le
principal défi ne résidera donc plus dans la capacité à générer des
résultats, mais dans celle de les évaluer, de les comprendre et de les
intégrer au corpus des connaissances. |
Tao
estime que les mathématiciens devront évoluer vers un rôle davantage centré
sur la sélection des problèmes importants, l'interprétation des résultats et
la construction de cadres théoriques donnant du sens à cette abondance de
preuves. Une démonstration n'a en effet de valeur durable que si elle apporte
également une idée nouvelle, une intuition ou un lien inattendu entre
différentes branches des mathématiques. Loin
d'annoncer le remplacement des chercheurs, Terence Tao envisage une
collaboration étroite entre l'homme et la machine. L'IA deviendrait un
partenaire intellectuel capable d'accélérer les découvertes, tandis que les
mathématiciens conserveraient la responsabilité de formuler les grandes
questions, de juger de l'intérêt des résultats et d'organiser une production
scientifique potentiellement immense. La
recherche pourrait ainsi passer d'une économie de la rareté des preuves à une
économie de l'abondance, où la compréhension et la synthèse deviendraient les
ressources les plus précieuses |
|
Haut de page (ou double-clic)
|
Suite |
|
|
Voir |
|
|
Sites |
|
|
Cette page |
