Un essai philosophique démontrant que la découverte mathématique basée sur l'IA ne doit pas nécessairement diminuer la valeur de la vie mathématique humaine a attiré une large attention après sa parution sur le blog de Terence Tao, le mathématicien de l'UCLA largement considéré comme l'un des meilleurs mathématiciens vivants. "Egoless Mathematics in the AI Era", publié le 2 novembre, est un article invité des informaticiens Karthik C. S., Amit Sahai et Jie Xue – Tao notant qu'il a converti le texte pour publication en utilisant l'IA. L'essai a rapidement grimpé dans Hacker News, où les lecteurs ont débattu de son affirmation centrale : que les mathématiques étaient belles avant la naissance de chacun d'entre nous, et que leur valeur ne dépend pas de celui qui fait les découvertes.
Cette pièce arrive à un moment où l’assistance machine en mathématiques est passée du statut de nouveauté à celui d’infrastructure. Les preuves formelles vérifiées à l'aide de l'IA, des conjectures générées par les machines et des systèmes d'IA contribuant aux résultats de la recherche ont forcé les mathématiciens en activité à se demander non seulement ce que les machines peuvent faire, mais aussi ce qui reste de la vocation si la réponse est « l'essentiel ». La réponse de l'essai est inhabituelle parmi les dernières nouvelles sur l'IA cette saison : au lieu de défendre l'importance humaine contre les machines, il plaide pour l'abandon total de ce concours.
Deux visions des mathématiques, un seul point de pression
Les auteurs partent de la division la plus ancienne de la philosophie des mathématiques : les mathématiciens inventent-ils leur sujet – introduisant des concepts, choisissant des axiomes, construisant des théories – ou découvrent-ils des vérités qui existent indépendamment d’eux. Le point de vue platonicien, écrivent-ils, donne une explication naturelle de cette indépendance : « il y avait une infinité de nombres premiers avant que quiconque ne prouve ce fait ». La vérité mathématique n'attend pas notre reconnaissance et n'en reçoit pas non plus son autorité.
La découverte, préviennent-ils, n’est pas de la passivité. Un paléontologue à la recherche de fossiles doit décider où fouiller, développer des techniques et reconnaître l'importance des restes incomplets. De même, une découverte mathématique peut nécessiter l’invention d’un langage et d’un cadre complets à travers lesquels une structure auparavant invisible devient visible. Les vérités nous précèdent ; les routes qui y mènent sont humaines jusqu'au bout.
C’est sur cette base que l’essai construit son point de pression : une dérivation correcte n’est pas la même chose qu’une compréhension de sa signification. Un système axiomatique permet indéfiniment de nombreuses déductions, mais la capacité de les produire ne fournit pas de pistes de recherche valables. "Les énoncés mathématiques peuvent être formellement corrects sans être éclairants", écrivent les auteurs. "Nous pouvons introduire d'innombrables définitions et prouver d'innombrables affirmations à leur sujet. Qu'est-ce qui rend une définition éclairante ?" C’est exactement la question qui se pose chaque fois qu’un système d’IA inonde un référentiel formel de résultats valides mais non motivés.
Le piège de la définition de la valeur par la machine
L’argument le plus pointu de l’essai vise une démarche courante dans le discours actuel sur l’IA : protéger la valeur humaine en se retirant vers ce que les machines ne peuvent pas encore faire. "La réponse ne peut pas simplement consister à chercher refuge dans des capacités typiquement humaines telles que la créativité, l'intuition ou le goût", affirment les auteurs. "Si nous valorisons ces capacités principalement parce qu'elles nous donnent un avantage sur les machines, nous restons piégés dans la même conception de la valeur intellectuelle. Pourquoi la valeur de notre quête devrait-elle dépendre du fait d'être meilleur que quelqu'un ou quelque chose d'autre ?"
Ils étendent la critique à la structure incitative de la vie universitaire elle-même. Les publications, les citations et les récompenses sont des indicateurs utiles, concèdent les auteurs, mais ils deviennent pathologiques lorsqu’ils définissent la valeur de l’œuvre. Mesurés de cette façon, les mathématiciens deviennent des ensembles de capacités productives et les mathématiques deviennent leur production – un cadre dans lequel une machine qui produit plus qu'un humain gagne tout simplement. L’essai propose l’alternative qu’il nomme dans son titre : des mathématiques sans ego, une pratique dans laquelle la valeur découle du contact avec la vérité plutôt que de la primauté dans sa production.
Selon ce point de vue, les découvertes réalisées par l’IA ne deviennent une occasion ni de chagrin ni d’anxiété liée au statut. "Une vérité est devenue accessible ; sa valeur n'est pas diminuée par l'absence de notre paternité", écrivent les auteurs. Ils présentent même l’essai comme un traité de paix entre les deux camps qui divisent désormais de nombreux départements de mathématiques – ceux qui sont enthousiastes à l’égard des outils d’IA et ceux qui s’abstiennent par principe – en suggérant que les deux peuvent refléter le même engagement sous-jacent envers les mathématiques elles-mêmes.
Une expérience de pensée Ramanujan pour clôturer
L’essai se termine par une expérience de pensée tirée de l’histoire mathématique. Ramanujan aurait déclaré : « Une équation n'a de sens pour moi que si elle exprime une pensée de Dieu » — une phrase que les auteurs citent dans la biographie de Robert Kanigel de 1991 « L'homme qui connaissait l'infini » (publiée en 1991, citée dans leur article de l'édition de 1992). S'il était vivant aujourd'hui, témoin des progrès de l'IA en mathématiques, serait-il perturbé par ce que cela pourrait signifier pour son objectif de mathématicien ?
Les auteurs sont honnêtes quant à leur propre position. "Nous, les auteurs de cet essai, sommes encore loin d'avoir atteint une telle absence d'égoïsme", admettent-ils, décrivant l'idéal de l'essai comme celui vers lequel ils souhaitent tendre. Et ils anticipent l’objection évidente : tout cela revient à demander aux mathématiciens de devenir des saints. "Dans la mesure où elle nous demande de grandir en vertu et d'abandonner notre attachement à notre propre importance, cette impression n'est pas loin de la vérité", écrivent-ils, affirmant que la joie de comprendre est plus durable que la satisfaction de se classer au-dessus de ses rivaux.
La question de savoir si cet argument convainc les mathématiciens en activité est une autre question : les commentaires sur l'essai montrent que de nombreux sceptiques pensent que l'économie des carrières universitaires fait de la philosophie un luxe. Mais en tant que document du moment, il capture quelque chose de réel : les domaines les plus proches des progrès de l’IA sont les plus obligés d’expliquer pourquoi leur travail est important, et l’une des voix les plus écoutées dans le domaine des mathématiques a maintenant prêté sa plateforme à une réponse qui ne mentionne même pas une seule fois les critères de référence, la productivité ou la concurrence nationale.
---
Gardez une longueur d'avance sur l'IARecevez les dernières actualités, analyses et avancées en matière d'IA, le tout en un seul endroit.
Lire plus d'actualités sur l'IA →
