OpenAI a confirmé que son nouveau modèle de raisonnement a résolu un problème géométrique posé par Paul Erdős en 1946. Le défi, connu sous le nom de problème de distance d'Erdős, avait résisté aux mathématiciens pendant des décennies. La solution est venue en appliquant des motifs non basés sur des grilles traditionnelles, une approche que personne n'avait explorée en profondeur.
Comment l'IA a brisé le moule de la géométrie classique 🧠
Le modèle d'OpenAI a analysé des configurations géométriques qui évitaient la structure en grille, considérée jusqu'à présent comme la base des solutions optimales. Grâce à un apprentissage par renforcement et à la recherche de motifs non linéaires, l'IA a identifié un agencement de points qui maximise les distances minimales. Le résultat non seulement résout le problème, mais offre une démonstration vérifiable, ce que les mathématiciens humains n'avaient pas réussi à faire en près d'un siècle.
Erdős se retourne dans sa tombe (et demande un GPU) 🤖
Le plus curieux est qu'Erdős, célèbre pour résoudre des problèmes avec d'autres humains, reçoit désormais l'aide d'une machine. Le mathématicien hongrois avait l'habitude de demander du café et des amphétamines pour travailler ; aujourd'hui, il aurait besoin d'un accès à des serveurs cloud. Pendant ce temps, les mathématiciens vivants débattent pour savoir s'il s'agit d'une réussite ou d'un signe qu'ils auraient dû jouer davantage à Minecraft pour entraîner leur intuition spatiale.