L'IA résout des problèmes mathématiques d'il y a 80 ans

MSN - 30/05
Le problème de la distance unitaire dans le plan explore le nombre maximum de segments de ligne de même longueur qui peuvent être dessinés sur une feuille de papier infinie pour relier des points sur le papier. Erdos a démontré comment une grille toujours plus grande pouvait contenir un grand nombre de points équidistants, et la grille s'étendrait à l'infini à un rythme légèrement plus rapide que le nombre de points croissant.

Le problème de la distance unitaire dans le plan explore le nombre maximum de segments de ligne de même longueur qui peuvent être dessinés sur une feuille de papier infinie pour relier des points sur le papier. Crédit photo : Alvaro Lozano-Robledo

Le 20 mai, OpenAI a annoncé que son chatbot d'intelligence artificielle (IA) prouvait que le mathématicien hongrois Paul Erdos (1913-1996) avait tort sur le problème dit de distance unitaire. Le chatbot IA d'OpenAI a résolu le casse-tête géométrique vieux de 80 ans en utilisant les conseils d'un mathématicien. La découverte a désormais été vérifiée de manière indépendante par des mathématiciens non affiliés à l'entreprise.

En 1946, Erdos a dérivé ce qu'il considérait comme la disposition optimale des points sur un plan, qui consiste à maintenir la distance entre autant de points que possible à une distance donnée. Il a également posé un défi ...
[Courte citation de 8% de l'article original]