Brief IA : GPT-5.4 Pro et un amateur résolvent une énigme de 60 ans

GPT-5.4 Pro et un amateur résolvent une énigme de 60 ans

Brief IA
Tom Levy·2 min·12 vues

Un amateur de 23 ans, Liam Price, a résolu le problème d’Erdős #1196 sur les ensembles primitifs en utilisant ChatGPT, version 5.4 Pro. Cette avancée, validée par les mathématiciens Jared Lichtman et Terence Tao, démontre le potentiel de l'IA à offrir des solutions innovantes dans des domaines complexes, remettant en question les méthodes académiques traditionnelles.

En bref
1Un amateur de 23 ans a résolu le problème mathématique d'Erdős #1196 avec l'aide de GPT-5.4 Pro.
2L'IA a utilisé un prompt strict en LaTeX, sans accès au web, pour proposer une solution innovante.
3Les mathématiciens Jared Lichtman et Terence Tao ont validé l'approche, révélant des biais académiques.
💡Pourquoi c'est importantCette avancée montre que l'IA peut dépasser les limites humaines en mathématiques, ouvrant de nouvelles perspectives de recherche.
Le brief IA que lisent les pros

Tu suis la course aux modèles IA ?

Chaque sortie (GPT, Claude, Gemini, Mistral…) décryptée le soir même, en 5 min. Gratuit.

Inclus dès l'inscription : notre sélection des meilleurs guides & comparatifs IA.

Choisis ton rythme

Gratuit · Pas de spam · Désabonnement en 1 clic

📄
L'analyse en français

Un jeune amateur de 23 ans a réussi à résoudre un problème mathématique resté sans réponse pendant 60 ans, le fameux problème d’Erdős #1196, grâce à l'assistance de GPT-5.4 Pro. Ce problème concerne les ensembles primitifs de nombres entiers, où aucun nombre ne peut être divisé exactement par un autre du même ensemble. La question posée par Erdős portait sur la somme spécifique impliquant la formule 1/(a log a) et sa tendance à atteindre une limite précise de 1.

Liam Price, sans formation mathématique formelle, a collaboré avec son ami Kevin Barreto pour mettre en œuvre une méthode qu'ils appellent le « vibe mathing ». Cette approche consiste à formuler le problème en langage naturel, permettant à l'IA de générer des solutions créatives. Le prompt utilisé était strictement formaté en LaTeX et interdisait l'accès à Internet, incitant ainsi l'IA à faire preuve d'originalité.

Le modèle GPT-5.4 Pro a répondu avec une solution qui a immédiatement abordé la question de la limite tendant vers 1. En utilisant des concepts mathématiques appliqués habituellement à d'autres types de problèmes, l'IA a réussi à contourner les obstacles qui avaient bloqué les mathématiciens pendant des décennies.

Après la génération de cette solution, les mathématiciens Jared Lichtman et Terence Tao ont examiné le document produit par l'IA. Bien que des ajustements aient été nécessaires pour clarifier certains aspects de la démonstration, l'idée principale est restée intacte. Terence Tao a noté que le problème semblait plus simple qu'initialement perçu, suggérant que les chercheurs humains avaient suivi une mauvaise piste dès le début.

Ce cas démontre comment l'intelligence artificielle peut éviter les biais et les réflexes académiques traditionnels, ouvrant ainsi de nouvelles voies de réflexion et de résolution de problèmes mathématiques.

Suivez Brief IA

L'actu IA du jour, aussi dans votre fil.

Commentaires