Plus tôt cette année, un jeune homme de 23 ans, n’ayant aucune formation formelle en mathématiques, a fait la une des journaux en prétendant qu’il avait utilisé ChatGPT d’OpenAI pour résoudre l’un des “problèmes d’Erdős” — une collection de conjectures difficiles laissées par le mathématicien hongrois Paul Erdős.
Le mois dernier, des chercheurs ont été stupéfaits lorsque OpenAI a annoncé que son IA avait réfuté une conjecture vieille de 80 ans concernant la “distance unitaire”, également formulée par Erdős.
OpenAI a même déclaré que c’était la première fois qu’une intelligence artificielle résolvait de manière autonome un problème majeur non résolu dans le domaine des mathématiques.
Cependant, la question de savoir si ces modèles avancés d’IA, comme ChatGPT, représentent véritablement une avancée significative dans la résolution des problèmes mathématiques qui préoccupent les chercheurs depuis des décennies reste un sujet de débat animé parmi les spécialistes.
Une déclaration récente, signée par plus de 150 experts mathématiciens venus du monde entier, a vivement mis en garde les gouvernements contre les promesses exagérées liées aux capacités de l’IA dans la résolution de problèmes mathématiques complexes, tempérant ainsi les discours sur une révolution à venir dans ce domaine.
Dans un document accompagnant la “Déclaration de Leiden sur l’IA et les Mathématiques”, la vice-présidente de l’Union Mathématique Internationale, Ulrike Tillmann, a souligné que l’IA soulève des questions qui nécessitent une analyse approfondie.
Selon Tillmann, l’avenir de la recherche mathématique doit être guidé par le jugement humain, des pratiques justes et transparentes, ainsi que par les valeurs partagées de la communauté mathématique mondiale.
La déclaration exprime également des préoccupations quant aux incitations commerciales qui incitent l’industrie technologique à exagérer les capacités de leurs produits, avertissant les décideurs politiques de consulter des experts tels que des mathématiciens au lieu de se baser sur les communiqués de presse ou les reportages populaires sur les résultats mathématiques.
De plus, les modèles d’IA peuvent parfois fournir des solutions convaincantes qui n‘éprouvent pas un examen rigoureux.
Les techniques automatisées actuelles peuvent proposer des arguments qui, bien que plausibles, ne sont pas fiables (voire incorrects), ce qui complique la tâche des chercheurs pour distinguer les vraies preuves mathématiques des faux semblants, a déclaré Leslie Ann Goldberg, signataire et responsable de l’informatique à l’Université d’Oxford, dans une déclaration.
De nombreux universitaires se retrouvent dans une situation précaire, confrontés à des difficultés pour obtenir des financements, tandis que l’intérêt pour l’IA continue de croître, les poussant parfois à soutenir la technologie coûte que coûte.
Le document souligne que l’industrie offre des emplois attrayants et des ressources, mais cela se produit dans un contexte de sous-financement de l’éducation supérieure et d’emplois académiques précaires.
La déclaration attire également l’attention sur d’autres raisons de réclamer une régulation au-delà du domaine des mathématiques, mentionnant l’implication de l’IA dans des programmes militaires et de surveillance de masse, ainsi que le développement de technologies qui favorisent la désinformation et sapent la démocratie.
En résumé, c’est une critique forte de l’engouement excessif autour de l’IA, appelant à une maîtrise de son utilisation, et cette demande résonne bien au-delà du monde des mathématiques. La communauté scientifique au sens large est submergée par une avalanche de publications utilisant largement l’IA, ce qui risque de polluer le processus d’évaluation par les pairs avec des hallucinations.
De plus, il est essentiel de rappeler que les modèles d’IA sont souvent entraînés sur des recherches de pointe sans l’accord des auteurs originaux.
Rodrigo Ochigame, anthropologue de l’IA à l’Université de Leiden et co-signataire de la déclaration, a déclaré que des mathématiciens n’ayant jamais eu l’intention de contribuer à l’intelligence artificielle voient leur travail utilisé à cette fin sans leur consentement, ce qui est profondément préoccupant.
Informations supplémentaires sur l’IA et les mathématiques : Des mathématiciens revendiquent une découverte significative grâce à ChatGPT
### FAQ
#### Qu’est-ce que la conjecture de distance unitaire ?
La conjecture de distance unitaire est un problème mathématique énoncé pour la première fois par Paul Erdős, qui postule que dans tout ensemble de points dans un plan, il est impossible d’avoir deux points à une distance de 1 de chaque point.
#### Quels sont les enjeux éthiques de l’utilisation de l’IA en mathématiques ?
Les enjeux incluent l’intégrité de la recherche, le consentement des auteurs, et la possibilité que des erreurs soient introduites dans le corpus de connaissances mathématiques sans vérification appropriée.
#### Que vise la « Déclaration de Leiden » ?
Elle cherche à inciter à une réflexion critique sur l’utilisation de l’IA dans la recherche mathématique et à établir des normes éthiques et des pratiques transparentes.
#### Comment l’utilisation de l’IA pourrait-elle influencer le financement des chercheurs ?
L’engouement pour l’IA pourrait créer des pressions pour que les chercheurs adoptent des approches technologiques, même au détriment d’autres domaines de recherche peut-être négligés en raison d’un manque d’intérêt ou de financement.
#### Y a-t-il d’autres domaines concernés par l’IA ?
Oui, l’IA a aussi des impacts sur des secteurs comme la médecine, l’éducation, et la sécurité, soulevant des préoccupations similaires en matière d’éthique et de réglementation.
