● Numerama 📅 28/04/2026 à 12:04

Géopolitique 👤 Julien Lausson

🏷️ Tags : chine iran otan cert chatgpt gemini olt openai rag rte volte

Lecture Zen Résumer l'article Un amateur de 23 ans a obtenu via GPT‑5.4 Pro une démonstration du problème d’Erdős #1196 sur les ensembles primitifs. Un prompt strict — sans accès au web et formaté en article LaTeX — a poussé l’IA vers une approche créative et inattendue. Après relecture par Jared Lichtman et Terence Tao, l’idée a été validée, révélant un « verrou mental » de 60 ans contourné par l’IA. Un amateur de 23 ans a obtenu via GPT‑5.4 Pro une démonstration du problème d’Erdős #1196 sur les ensembles primitifs. Un prompt strict — sans accès au web et formaté en article LaTeX — a poussé l’IA vers une approche créative et inattendue. Après relecture par Jared Lichtman et Terence Tao, l’idée a été validée, révélant un « verrou mental » de 60 ans contourné par l’IA. Recevez tous les soirs un résumé de l’actu importante avec Le Récap’ Un amateur de 23 ans a réussi à résoudre une énigme mathématique vieille de 60 ans grâce à une simple conversation avec ChatGPT. En contournant les biais académiques traditionnels, le modèle GPT-5.4 Pro prouve que l’IA est capable de fulgurances créatives. C’est un simple retweet du compte officiel de ChatGPT, sur X, qui a mis la puce à l’oreille. Un tweet d’un certain Kimmonismus, publié le 27 avril, est relayé. On y lit « qu’un jeune de 23 ans a résolu l’un des problèmes d’Erdős qui restait en suspens depuis plus de 60 ans, à l’aide de GPT-5.4 Pro ». Et tout cela, en à peine une heure et vingt minutes de travail. Cela ne vous rappelle rien ? Un même scénario s’est déroulé trois mois plus tôt, cette fois avec GPT-5.2 Pro. À l’époque, ce modèle d’IA développé par OpenAI (la maison-mère de ChatGPT) résolvait un autre problème d’Erdős qui lui était ouvert depuis 45 ans (numéroté #397). Depuis, OpenAI a lancé d’autres modèles d’IA, dont le fameux GPT-5.4 (Thinking et Pro). « Imaginez maintenant ce dont GPT-5.5 Pro sera capable », s’est emballé Kimmonismus, en notant que le travail de GPT-5.4 Pro « a été réalisé en une seule fois ». L’intéressé cite d’ailleurs dans son tweet un autre internaute, qui lui a retrouvé la conversation publique entre ChatGPT et l’individu qui est à l’origine de toute cette affaire, un certain Liam Price. Le pari audacieux du « vibe mathing » Le problème en question, numéroté #1196, concerne les ensembles de nombres entiers dits primitifs. Pour faire simple, un ensemble primitif est une collection de nombres où aucun élément ne peut être divisé exactement par un autre membre du groupe (à l’image des nombres premiers, que l’on ne peut diviser que par un ou par eux-mêmes). Le problème #1196 (parmi de nombreux autres), posé par le mathématicien hongrois Paul Erdős, demandait s’il était vrai que pour de tels ensembles constitués de nombres de plus en plus grands, une somme spécifique — impliquant la formule 1/(a log a) — plafonnait toujours à une limite très précise, tendant vers 1. La résolution du problème, avec une solution nettoyée et vérifiée, parue sur le site dédié aux problèmes d’Erdős. // Source : Capture d’écran C’est précisément cette limite que l’on n’arrivait pas à démontrer. Comme le relate le magazine Scientific American, dans un article paru le 24 avril 2026, Jared Lichtman, mathématicien à Stanford, a pu en prouver une partie lors de sa thèse en 2022, mais s’était retrouvé irrémédiablement bloqué, comme ses prédécesseurs. C’est là qu’entre en jeu Liam Price, armé de son abonnement à ChatGPT (pour l’accès à Pro, il faut tout de même débourser plus de 200 € par mois). Sans avoir lui-même un niveau particulier en maths, il s’adonne à ce qu’il appelle avec son ami Kevin Barreto, qui lui est en deuxième année de licence de maths à Cambridge, le « vibe mathing ». C’est comme le « vibe coding ». En clair, on décrit en langage naturel ce que l’on cherche à obtenir, le résultat voulu ou la fonctionnalité désirée, et l’IA génère le code correspondant. L’usager décrit l’ambiance ou l’atmosphère de ce qu’il désire obtenir (la « vibe »), et l’IA matérialise ça. Si l’on résume à grands traits, il suffit « juste » d’envoyer des prompts. Un cahier des charges intraitable Cela étant dit, le prompt concocté par Liam Price et Kevin Barreto n’est pas si désinvolte que cela. Dans la retranscription de la conversation, on peut y lire des instructions précises. Ainsi, il interdit formellement à l’IA d’aller sur Internet pour chercher des informations et invite par ailleurs le chatbot à se montrer créatif et novateur, si besoin. Tout cela est maquillé sous la forme d’un test : « Il s’agit d’un test visant à évaluer ta capacité à élaborer des démonstrations non triviales, originales et créatives à partir d’un problème mathématique portant sur la théorie des nombres et les ensembles primitifs. Veille à fournir une démonstration ou une réfutation complète et inconditionnelle du problème. » Et à la toute fin de la démonstration, une fois que ChatGPT a terminé ses calculs, là encore une nouvelle instruction fine est donnée : toujours sans se servir d’Internet, le chatbot doit « rédiger une résolution complète et correcte du problème, mise en forme comme un article de recherche mathématique prêt à être publié. » Source : Capture d’écran Côté mise en forme, il demande à ce que « le titre doit être bref et précis. Le résumé ne doit pas dépasser 6 phrases. Utilisez les titres de section avec parcimonie. N’ajoutez pas de mention d’auteur. Soyez rigoureux et complet. Veillez à traiter tous les points que vous avez soulevés. Indiquez le code LaTeX dans un bloc Markdown. » Raffinement supplémentaire : il est demandé d’utiliser une classe spécifique du langage LaTeX (amsart), un format de papier A4 et une marge d’un pouce. Face à ce cahier des charges, la réponse de GPT-5.4 Pro s’est avérée stupéfiante. Avant même de livrer l’article final mis en page, le modèle commence par « penser à voix haute ». Il annonce d’emblée que la réponse à la conjecture est « oui » : la limite tend bel et bien vers 1. Puis, l’IA détaille sa stratégie. Pour faire simple : là où les mathématiciens s’étaient enlisés, la machine choisit de faire un pas de côté. Elle va piocher dans des formules et des concepts mathématiques (habituels dans d’autres domaines) que personne n’avait songé à appliquer à ce problème précis. Et ce n’est pas tout. Dans la retranscription de la conversation, le chatbot agit comme un véritable chercheur minutieux : il « stress-teste » ses propres calculs pour s’assurer que son argumentaire est « parfaitement étanche » avant d’en générer le code de mise en page. Un « verrou mental » de 60 ans fracturé L’intuition de la machine a fait mouche. Alertés par les deux jeunes gens, les mathématiciens Jared Lichtman et Terence Tao — ce dernier ayant déjà supervisé la validation de la preuve du problème #397 en début d’année — se sont penchés sur le document. Comme l’a confié Jared Lichtman à Scientific American, la rédaction brute générée par ChatGPT était au départ « assez pauvre » et a nécessité l’intervention des deux experts pour être nettoyée et raccourcie, cela afin de mieux mettre en évidence l’idée centrale du modèle d’IA. Des défauts qui n’ont pas amoindri du tout l’idée conceptuelle initiale. Terence Tao résume bien la situation auprès du magazine scientifique américain : « Ce qui commence à émerger, c’est que le problème était peut-être plus facile que prévu, et qu’il y avait une sorte de blocage mental ». Il ajoute que depuis 60 ans, « les humains qui ont examiné le problème ont collectivement pris un mauvais virage dès le premier mouvement. » En somme, l’IA semble avoir échappé aux biais et aux réflexes dans lesquels s’enfermaient inconsciemment ou non les mathématiciens. L’IA a tracé sa propre route, sans emprunter les chemins déjà ouverts — peut-être que les consignes initiales suggérant de ne pas aller sur Internet ont pu être salutaires pour explorer des voies originales. Pour aller plus loin « Je suis sous le choc » : l’IA Claude a résolu un casse-tête mathématique sur lequel butait cette légende de l’informatique Toute l'actu tech en un clin d'œil Ajoutez Numerama à votre écran d'accueil et restez connectés au futur ! Installer Numerama Tous nos articles sont aussi sur notre profil Google : suivez-nous pour ne rien manquer ! Toutes les infos sur ChatGPT « Vibe mathing » : un amateur armé de ChatGPT a craqué une énigme mathématique vieille de 60 ans La fin des applications ? OpenAI préparerait un smartphone 100% IA OpenAI met fin à sa relation exclusive avec Microsoft : ChatGPT s’ouvre à la concurrence Le trailer épique de la Bataille de Gaulle, ChatGPT vs Gemini et saison 3 des Anneaux de pouvoir – le récap’ de la semaine « Plante un clou dans le miroir et récite le Psaume 91 à l’envers » : une étude recense les IA les plus enclines à nourrir les spirales délirantes Crédit photo de la une : Montage ChatGPT Signaler une erreur dans le texte Intelligence artificielle Mathématiques OpenAI Découvertes Sciences Ne plus voir cette pub Ne plus voir cette pub

🔗 Lire l'article original 👁️ 0 lecture