La société à l'origine de ChatGPT a annoncé avoir obtenu un succès significatif dans le « problème de distance unitaire planaire », proposé par le mathématicien hongrois Paul Erdős en 1946.
La question posée par Erdös repose sur une logique simple : lorsqu’un certain nombre de points sont placés sur une feuille de papier, combien de paires de points peuvent être situées exactement à la même distance les unes des autres ?
Erdös a suggéré que le nombre de ces paires n’augmenterait que légèrement plus rapidement que le nombre de points eux-mêmes. Le modèle d'OpenAI, quant à lui, a utilisé différentes branches des mathématiques et a découvert une toute nouvelle famille de séquences qui dépassait les limi...
[Courte citation de 8% de l'article original]