AVANT L’IA
Comment en être sûr ? L’histoire de la démonstration mathématique
Un dessin peut sembler convaincant. Une démonstration va plus loin : elle montre pourquoi un résultat doit être vrai, pour que chacun puisse vérifier le raisonnement.
Tracez un triangle dans le sable. Ses trois angles semblent peut-être totaliser 180 degrés. Mais comment en être sûr ? Votre dessin pourrait être légèrement inexact, et un autre triangle très différent. Il faut davantage qu’un bon exemple : une raison valable pour tous les triangles sur une surface plane.
Cette question simple mène à une grande idée. Les mathématiques ne consistent pas seulement à trouver des réponses. Elles consistent aussi à montrer, étape par étape, pourquoi une réponse est juste.
Le livre qui a rassemblé les pièces
Vers 300 avant notre ère, un mathématicien connu sous le nom d’Euclide aurait travaillé à Alexandrie, en Égypte. Nous savons peu de choses de sa vie. Mais un livre associé à son nom, les Éléments, a façonné l’enseignement des mathématiques pendant des siècles.
Les Éléments commencent par des définitions de base et des règles de départ. Ils s’en servent ensuite pour résoudre les problèmes les uns après les autres. Chaque nouveau résultat repose sur les précédents. Il n’est pas nécessaire de croire une affirmation simplement parce qu’un mathématicien célèbre l’a prononcée. On peut suivre les étapes et juger soi-même le raisonnement.
Selon l’histoire des mathématiques de l’université de St Andrews, Euclide n’a probablement pas découvert la plupart des idées contenues dans les Éléments. Sa grande réussite a été de réunir les connaissances existantes de manière claire et ordonnée. Le progrès vient parfois d’une découverte. Il vient parfois du fait d’aider les gens à comprendre ce qu’ils savent déjà.
Une démonstration peut être vérifiée par tous
Un exemple peut montrer qu’une règle fonctionne dans un cas. Une démonstration explique pourquoi elle fonctionne dans tous les cas qu’elle couvre. Elle expose aussi les hypothèses de départ, ce qui permet à d’autres de repérer les erreurs ou de contester le raisonnement.
Les Grecs de l’Antiquité n’ont pas été les premiers à pratiquer des mathématiques élaborées. En Égypte, à Babylone et dans d’autres cultures, on avait déjà développé des méthodes avancées de mesure, de calcul et de résolution de problèmes. Les textes grecs sont particulièrement connus pour leurs démonstrations géométriques pas à pas, mais cela ne signifie pas que les cultures antérieures manquaient de compétences mathématiques ou de rigueur.
Les règles de départ d’Euclide pouvaient, elles aussi, être discutées. L’une concernait les droites parallèles. Des siècles plus tard, les mathématiciens ont exploré ce qui se passe lorsqu’on change cette règle. Ils ont trouvé d’autres géométries, valables sous d’autres hypothèses. Ce n’était pas un échec de la méthode d’Euclide. Cela montrait pourquoi il est essentiel d’énoncer clairement ses hypothèses.
Pourquoi cette façon de penser compte
Une personne célèbre peut se tromper. Un orateur convaincant peut avoir tort. En mathématiques, l’essentiel est que le raisonnement résiste à l’examen. Une démonstration permet de vérifier une affirmation, de l’enseigner et de l’utiliser pour résoudre un autre problème.
Cette approche dépasse largement la géométrie. Ingénieurs, scientifiques et développeurs ont besoin de moyens de vérifier la cohérence de leur travail. Certains programmes peuvent même être vérifiés par des méthodes mathématiques. Mais il y a une limite : un calcul correct ne garantit pas qu’une machine réelle ne tombera jamais en panne. Les essais physiques restent nécessaires.
Une démonstration nous dit ce qui découle d’un ensemble d’hypothèses. Elle ne prouve pas que ces hypothèses décrivent parfaitement le monde réel. Pour cela, nous avons aussi besoin d’observations et d’expériences.
Quel rapport avec l’IA ?
L’IA utilise les mathématiques, mais ne fonctionne pas toujours comme une démonstration. De nombreux systèmes modernes apprennent des régularités dans de très grandes quantités de données. Ils peuvent fournir des réponses utiles sans montrer pourquoi chacune doit être correcte. C’est l’une des raisons de vérifier les affirmations importantes produites par l’IA, plutôt que de les accepter automatiquement.
Euclide n’a pas inventé l’IA. Le lien est plus simple et plus intéressant : il a contribué à montrer la puissance d’une démarche qui consiste à décomposer un problème difficile en étapes claires que d’autres peuvent vérifier. Cette façon de penser reste essentielle lorsque nous concevons des algorithmes, écrivons des logiciels et décidons de faire confiance à une machine.
Cela mène à une autre question : une machine pourrait-elle suivre seule une série d’instructions ? Dès l’Antiquité, des inventeurs commençaient à explorer cette possibilité.