L'intelligence artificielle résout un casse-tête mathématique vieux de 80 ans

Aljazeera - 01/06
L’intelligence artificielle a réussi à résoudre un problème mathématique complexe resté non résolu pendant des décennies, ce qui reflète un développement majeur dans sa capacité à fournir des preuves mathématiques, et soulève en même temps des questions sur l’avenir des mathématiques et le rôle de l’homme dans celle-ci.

Ces dernières années, le monde a été témoin d'un changement radical dans le rôle de l'intelligence artificielle dans les sciences exactes, en particulier dans les mathématiques pures, car elle n'est plus seulement un outil pour résoudre des équations ou accélérer les calculs, mais plutôt - selon des rapports scientifiques récents - elle est devenue capable de contribuer à la découverte de nouvelles preuves mathématiques, et même de résoudre des problèmes ouverts qui échappaient aux mathématiciens depuis de nombreuses décennies.

L’un des exemples les plus largement débattus dans les médias scientifiques et techniques est ce qu’on appelle le « problème de la distance unitaire ». Il s’agit d’un problème dont les racines remontent au célèbre mathématicien Paul Erdoch, qui l’a posé en 1946 dans le cadre d’une série de problèmes connus plus tard sous le nom de « problèmes d’Erdoch » qui mesurent les progrès des mathématiques modernes. Selon le récit scientifique, ce problème concerne la répartition des points dans un plan bidimensionnel de telle sorte que le nombre de paires séparées par une seule unité de distance soit déterminé.

Le problème de la « distance unique », posé en 1946 par le mathématicien Paul Erdoch (OpenAI)

D'un problème classique à un test d'intelligence artificielle

Ce problème a longtemps été considéré comme un exemple de « p...
[Courte citation de 8% de l'article original]