Il existe des questions en mathématiques qui semblent reposer en dehors du temps. Elles sont écrites une fois, puis revisitées encore et encore, comme si chaque génération passait devant la même forme sous un angle légèrement différent. Le problème reste inchangé, mais la façon dont il est perçu commence à évoluer, lentement, presque imperceptiblement.
Dans le monde mesuré de la géométrie, de tels problèmes prennent souvent une persistance silencieuse. Ils ne sont pas urgents comme les préoccupations quotidiennes, mais ils perdurent, attendant une ligne de raisonnement suffisamment précise pour les résoudre. Une preuve, lorsqu'elle apparaît enfin, n'arrive pas avec du bruit. Elle se fixe en place, fermant un espace qui était resté ouvert depuis longtemps.
Récemment, un tel espace a attiré l'attention pour une raison inattendue. Un système d'intelligence artificielle, ChatGPT, aurait contribué à résoudre un problème de géométrie auparavant non prouvé. Le récit, discuté dans des publications scientifiques telles que Quanta Magazine, suggère que le système a généré une ligne de raisonnement qui pourrait être développée en une preuve formelle.
Ce développement ne se distingue pas du mouvement plus large au sein de l'intelligence artificielle, où des modèles formés sur de grands corpus de texte commencent à naviguer dans des domaines structurés tels que les mathématiques. Ces systèmes ne "comprennent" pas au sens humain, mais ils sont capables d'identifier des motifs, de proposer des étapes et d'assembler des séquences qui ressemblent à un argument logique.
En mathématiques, cependant, la ressemblance ne suffit pas. Une preuve doit résister à un examen rigoureux, chaque étape découlant inévitablement de la précédente. Le résultat rapporté existe donc dans un processus—un processus qui inclut la vérification, le raffinement et, en fin de compte, l'acceptation par la communauté mathématique. C'est dans ce processus que la contribution est mesurée.
Il y a un changement subtil dans la façon dont un tel travail est abordé. Là où autrefois le chemin vers une solution dépendait entièrement de l'intuition humaine, il peut désormais inclure des suggestions tirées de systèmes computationnels. Le rôle du mathématicien ne diminue pas, mais change d'accent—vers l'interprétation, le test et la transformation de ces suggestions en formes rigoureusement valides.
Des publications telles que Nature et MIT Technology Review ont noté la présence croissante de l'IA dans des domaines nécessitant un raisonnement structuré. Dans ce contexte, les mathématiques deviennent à la fois un défi et une mesure, testant si de tels systèmes peuvent aller au-delà du calcul pour entrer dans le domaine de la preuve.
Il existe également une tension silencieuse au sein de ce développement. Les mathématiques ont longtemps été considérées comme un espace de raisonnement pur, où les conclusions émergent d'une pensée humaine délibérée. L'implication de l'IA introduit un autre élément—celui qui opère à travers des motifs appris plutôt que par une compréhension consciente. Pourtant, le résultat, s'il est valide, reste le même : une séquence d'énoncés qui est vraie.
Ce qui émerge, alors, n'est pas un remplacement, mais une extension. Le processus de résolution d'un problème s'élargit pour inclure de nouvelles formes d'exploration, de nouvelles façons d'aborder la structure et le motif. Le problème lui-même ne change pas, mais le chemin qui y mène devient moins singulier.
Alors que la revendication continue d'être examinée, l'accent reste mis sur la vérification. Les preuves doivent être vérifiées, les étapes confirmées, les hypothèses clarifiées. Ce n'est qu'à travers ce processus que le résultat peut trouver sa place au sein de la discipline.
En conclusion, des rapports indiquent que ChatGPT a contribué à résoudre un problème de géométrie auparavant non prouvé, bien que le résultat reste sous examen. Son importance dépendra de la validation formelle et de l'acceptation au sein de la communauté mathématique.
Avertissement sur les images AI : Les images sont générées par IA à des fins illustratives et ne représentent pas des scènes réelles.
Vérification des sources : Quanta Magazine, Nature, Science, MIT Technology Review, The New York Times