La déferlante IA sur les mathématiques est fascinante, et m'enthousiasme au plus haut point. Or je m'étonne de nombreuses réactions à ce sujet, notamment venant de mathématiciens. Il semble que beaucoup ne comprennent pas que toute cette aventure intellectuelle dans laquelle une partie de l'humanité est engagée depuis la nuit des temps est une quête de connaissance – de soi, de l'univers, de l'être. De compréhension. Profonde. Intime. Une IA qui fait des mathématiques – et bientôt, rêvons un peu, de la Physique ! – ne saurait m'enlever quoi que ce soit. Elle peut m'aider, sans doute, à mieux comprendre, à mieux cerner, à mieux acquérir – même si ce n'est pas automatique (et il faut, justement, que ce ne soit pas automatique). À lire certains messages, ces derniers temps, je me demande si certains – affolés peut-être par quelque angoisse assez mondaine – n'oublient pas un peu vite au passage, dans leur bien risible épouvante, ce que c'est que la compréhension. Ce qui appelle inlassablement notre noble espèce humaine vers la connaissance. Et quand j'entends parler du métier de mathématicien, je souris intérieurement. Il y a, certes, un métier de mathématicien, comme il y a un métier de physicien – celui que j'exerce, en l'occurrence ! Mais un mathématicien pratiquant ce métier, ou un physicien pratiquant ce métier, peut fort bien s'en passer sur-le-champ ! (Pour autant, bien sûr, qu'il trouve le moyen de continuer à contribuer utilement à la société à laquelle il participe – comme tout un chacun qui n'attend pas que ladite société le prenne simplement en charge). Ce dont il ne peut se passer, en revanche – ou alors nous ne sommes décidément pas tous faits du même bois –, c'est des mathématiques ! Et il ne s'en passera effectivement pas – avec ou sans IA. Comprendre, c'est une aventure intime. Que quelqu'un d'autre comprenne ne fait pas ma compréhension. Cependant, qu'un autre ait compris quelque chose de vaste, de profond, me laisse entrevoir que je pourrais comprendre, moi aussi, et me joindre à cette ineffable contemplation de ce qui est. Et peut-être pourrait-il même m'y aider ! C'est ainsi que se pratiquent les mathématiques, dans leur dimension de connaissance, depuis toujours. C'est ainsi qu'elles se pratiqueront toujours ! L'IA entre dans la danse ? À la bonne heure ! Alléluia ! Bref, pourquoi donc ces alarmes face aux avancées spectaculaires (et, je le répète, aussi enthousiasmantes que magnifiques) des IA en mathématiques ? Comme si elles allaient priver les mathématiciens de quoi que ce soit de fondamental ! Si l'IA ne demeure qu'un oracle dans cette histoire, capable de nous dire ce qui est sans nous élever dans la connaissance – la connaissance, hein, pas le savoir ! – alors elle aura l'utilité d'un oracle. (Et il s'est suffisamment dit sur les oracles pour que je n'aie pas besoin de m'y livrer à mon tour.) Mais gageons qu'elle pourra être bien autre chose. Et réjouissons-nous-en ! Peu l'avaient vu venir, mais nous sommes collectivement confrontés à une véritable « Rencontre du troisième type ». Qui serait assez idiot pour imaginer que nous n'ayons rien à en tirer sur le plan de la connaissance – à nouveau : de nous-mêmes, du monde, de l'être ? Un dernier point. Ce qui me laisse particulièrement perplexe, face à la réaction de certains mathématiciens (voire associations de mathématiciens !), c'est qu'ils se comportent comme si l'IA profanait le temple mathématique en osant y accéder à la manière qui lui est propre. Mais qu'est-ce que cela change qu'un « autre » pénètre dans le temple ? Ne savent-ils pas mieux que quiconque, les mathématiciens, que, connue ou non, soupçonnée ou non, la vérité mathématique est là, de toute éternité ! Nul ne l'altère. Nul ne la dégrade. Nul ne le peut. Rien ne le peut. Et vivent les mathématiques !