Accueil Orientation générale Barre de recherche

DicoNombre DicoMot Math DicoCulture

Atlas des maths Rubriques Index alphabétique

Nouveautés Actualités Références

Édition du: 18/04/2026 M'écrire Brèves de Maths

INDEX Logique Algorithme Programmation Multimédia	LOGIQUE et IA
	Introduction	Algorithmes		Jeux (Échecs, Go)	Théorie
	Int. humaine	Machine de Turing		Systèmes experts	Rx neuronaux
	Programmation	Automate		Lambda-calcul	Robots
	Historique	Algorithmes TOP 15		ChatGPT	IA Avancée
	Modèles à raisonnement		Modèles d'IA en 2025		Super IA Maths
	L'IA à l'assaut des conjectures
	ALGORITHMES et IA – LE LIVRE Avril 2026 – pdf – 234 pages

Faites un double-clic pour un retour en haut de page

Intelligence Artificielle À l'assaut des conjectures (2026) Paul Erdős (1913–1996) est l’un des mathématiciens les plus prolifiques de l’histoire. En 1966, il formule une série de conjectures sur ces ensembles. L’une d’elles, la conjecture n°1196, porte sur le comportement asymptotique d’une somme particulière définie sur les ensembles primitifs. Malgré des progrès partiels, elle est restée ouverte pendant près de six décennies. En 2026, une IA avancée (GPT 5.4) produit une preuve complète et élégante de cette conjecture, surprenant la communauté mathématique.
	Sommaire de cette page >>> Contexte général : un héritage mathématique et un problème tenace >>> Ensembles primitifs >>> Comment l’IA a démontré la conjecture : une stratégie inattendue >>> Portée et implications	Débutants Logique Glossaire Logique

Voir ChatGPT / Algorithmes les plus avancés

Contexte général : un héritage mathématique et un problème tenace		haut
Paul Erdös (1913–1996) et ses conjectures Il fut l’un des mathématiciens les plus prolifiques du XXᵉ siècle. Figure légendaire, nomade intellectuel, il a laissé derrière lui plus de 1 500 articles et une constellation de conjectures ouvertes. Son style était caractérisé par une intuition fulgurante, un goût pour les problèmes simples à énoncer mais profonds, et une vision presque mystique des mathématiques. Il parlait souvent du Livre, une métaphore d’un recueil divin contenant les preuves les plus élégantes de chaque théorème. Parmi les centaines de questions qu’il a posées, certaines concernent les ensembles primitifs : des ensembles d’entiers dans lesquels aucun élément ne divise un autre. Les nombres premiers en sont l’exemple canonique. Erdős, avec Sárközy et Szemerédi, formula en 1966 une série de conjectures sur la structure et les propriétés asymptotiques de ces ensembles. L’une des conjecture, Erdős n°1196, est une version asymptotique de la Primitive Set Conjecture. Elle porte sur le comportement d’une somme particulière associée aux ensembles primitifs lorsqu’on se déplace vers les « grands » entiers. Malgré des progrès partiels — notamment ceux de Jared Duker Lichtman, Gorodetsky et Wong — la conjecture résistait depuis près de 60 ans.	La conjecture n°1196 : nature et enjeux La conjecture s’inscrit dans l’étude des séries pondérées sur les ensembles primitifs. Sans entrer dans les détails techniques, elle interroge la croissance asymptotique d’une somme définie sur les éléments d’un ensemble primitif, somme qui joue un rôle analogue à certaines quantités classiques en théorie analytique des nombres. Idée: comprendre si les nombres premiers constituent, d’une certaine manière, l’ensemble primitif « maximal » pour cette somme asymptotique Il s'agit d'un thème récurrent dans l’œuvre d’Erdős, fasciné par la manière dont les propriétés multiplicatives des entiers se reflètent dans des comportements globaux. Lichtman avait démontré un résultat majeur : les nombres premiers sont effectivement maximaux pour une version non asymptotique du problème. Mais l’extension asymptotique, celle d’Erdős n°1196, restait hors d’atteinte.

Ensembles primitifs		haut
Définition	Un ensemble primitif est un ensemble de nombres entiers strictement positifs tel que aucun élément ne divise un autre. Formellement : pour tous a et b distincts dans l’ensemble: a ∤ b & b∤ a Simplement: aucun élément ne doit être multiple d’un autre.
Métaphore	On peut imaginer un jardin de nombres : chaque plante est un entier. Dans un ensemble primitif, Aucune plante n’est une “version agrandie” d’une autre (par multiplication). Chaque plante pousse de façon indépendante, sans être le multiple d’une voisine.
Exemples	Les nombres premiers : {2, 3, 5, 7, 11, …} → C’est un ensemble primitif, car un nombre premier ne divise jamais un autre nombre premier. Un ensemble comme {6, 10, 15} → 6 ne divise ni 10 ni 15, 10 ne divise pas 6 ni 15, etc. → Donc cet ensemble est primitif, même s’il ne contient pas de nombres premiers. Les nombres de Fermat : → Par exemple : 3, 5, 17, 257, 65537… → Aucun ne divise un autre, donc cet ensemble est primitif.
Intérêt	Les ensembles primitifs sont importants en mathématiques, notamment en théorie des nombres, car ils capturent une idée de minimalité et d’indépendance. Ils sont liés aux nombres premiers, mais ne se limitent pas à eux : on peut construire des ensembles primitifs plus complexes contenant des nombres composés, tant qu’ils respectent cette règle de non-divisibilité interne. Enfin, ces ensembles jouent un rôle dans certaines questions profondes : par exemple, comment “maximiser” la taille ou certaines propriétés d’un tel ensemble. ð Définition simple & problèmes encore ouverts aujourd’hui.

Voir Ensemble primitif dans le DicoMots Maths

Comment l’IA a démontré la conjecture : une stratégie inattendue		haut
La voie humaine traditionnelle : l’analyse réelle Depuis le papier fondateur d’Erdős en 1935, tous les mathématiciens ayant travaillé sur les ensembles primitifs ont adopté la même ouverture conceptuelle : Traduire le problème arithmétique en un problème d’analyse réelle, en utilisant des outils continus pour contourner les difficultés combinatoires. Cette approche semblait naturelle, presque incontournable. Elle était devenue un réflexe collectif, au point d’occulter d’autres pistes.	La voie de l’IA : rester dans l’arithmétique GPT 5.4 a fait exactement l’inverse : → il n’a pas quitté le domaine arithmétique. L’IA a mobilisé de manière inattendue la fonction de von Mangoldt, un outil classique de la théorie analytique des nombres, intimement lié à la factorisation en nombres premiers et à la fonction zêta de Riemann. La clé réside dans une identité fondamentale : La somme des poids de von Mangoldt sur les diviseurs d’un entier n est égale à: log n . Cette identité, équivalente à l’unicité de la factorisation, était connue depuis longtemps — mais jamais exploitée dans ce contexte précis. GPT‑5.4 l’a utilisée pour dissoudre les obstacles analytiques qui bloquaient toutes les approches humaines. Lichtman compare cela à un nouveau « coup d’ouverture » en échecs : une ligne parfaitement valide, mais ignorée pendant 90 ans pour des raisons esthétiques ou culturelles.

Portée et implications		haut
Confirmation de la preuve La preuve est en cours de formalisation dans Lean, ce qui permettra de la certifier au standard de rigueur le plus élevé. Si elle est validée, elle rejoindra une liste croissante de résultats mathématiques produits ou complétés par l’IA. Ce succès intervient dans un contexte où : des programmes comme DARPA expMath cherchent à accélérer la découverte mathématique via l’IA ; des entreprises comme Math Inc. parviennent à formaliser des preuves complexes ; la communauté mathématique débat de la nature même de la créativité mathématique. L’épisode GPT‑5.4 montre qu’une IA peut non seulement résoudre un problème ouvert, mais le résoudre en inventant une stratégie conceptuelle que personne n’avait envisagée.	Conclusion La résolution de la conjecture d’Erdős n°1196 marque un tournant : elle illustre la capacité de l’IA à explorer des régions de l’espace mathématique que les humains n’avaient pas jugées prometteuses, non par manque de compétence, mais par héritage culturel et esthétique. C’est un moment où l’histoire des mathématiques rencontre l’histoire de l’intelligence artificielle — et où l’intuition d’Erdős sur les « preuves du Livre » trouve une résonance inattendue dans une machine informatique.

Point sur les avancées en IA en avril 2026				haut
Avant l’IA moderne : une longue tradition d’automatisation mathématique L’idée d’utiliser des machines pour faire des mathématiques n’est pas nouvelle. Dès les années 1940–1950, Turing, von Neumann et Church imaginent des dispositifs capables d’exécuter des raisonnements formels. Mais pendant des décennies, les machines ne sont que des assistants computationnels : elles calculent, elles ne démontrent pas. Quelques jalons importants : 1976 – Théorème des quatre couleurs : première preuve assistée par ordinateur d’un théorème majeur. L’ordinateur vérifie des milliers de cas, mais ne « raisonne » pas. 1998 – Théorème de Kepler (densité des sphères) : Hales utilise des calculs massifs et, plus tard, une formalisation complète dans HOL Light. Années 2000–2010 – Formalisation croissante : Coq, Lean, Isabelle permettent de certifier des preuves humaines, mais pas encore de les inventer. À cette époque, l’ordinateur est un vérificateur, pas un découvreur.
	L’ère des systèmes symboliques : vers une créativité contrôlée Avec les progrès de l’IA symbolique et des assistants de preuve, les machines commencent à proposer des lemmes intermédiaires, à explorer des espaces de preuves, à optimiser des stratégies. Quelques étapes clés : 2016 – DeepMind et AlphaGo : même si ce n’est pas des mathématiques, l’idée d’explorer un espace combinatoire immense inspire les mathématiciens. 2021 – DeepMind / Google Research : AlphaFold : montre que l’IA peut résoudre un problème scientifique réputé inabordable. 2022–2023 – DeepMind : AlphaTensor, AlphaCode : l’IA découvre de nouveaux algorithmes, prouvant qu’elle peut dépasser l’intuition humaine dans des structures mathématiques. Mais ces systèmes restent spécialisés. Ils ne produisent pas encore des preuves conceptuelles.
		2023–2025 : l’IA entre dans la recherche mathématique C’est ici que commence la transition vers l’IA comme acteur mathématique. 2023 – DeepMind + Lean : preuve automatisée de théorèmes olympiques 2024 – OpenAI + Microsoft Research : assistants capables de générer des preuves esquissées 2025 – Math Inc. : formalisation automatique de preuves complexes DARPA expMath : programme visant à accélérer la découverte mathématique via l’IA. Ces systèmes ne se contentent plus d’aider : ils proposent des idées, parfois inattendues.
			2026 : la preuve de la conjecture d’Erdős n°1196 comme moment charnière La résolution de la conjecture n°1196 par GPT‑5.4 marque une rupture pour trois raisons majeures : L’IA ne se contente plus d’explorer : elle invente une stratégie conceptuelle Contrairement aux approches humaines fondées sur l’analyse réelle, GPT‑5.4 reste dans le domaine arithmétique et mobilise la fonction de von Mangoldt d’une manière que personne n’avait envisagée. C’est la première fois qu’une IA : contourne un biais méthodologique collectif, propose une approche conceptuelle nouvelle, produit une preuve jugée « du Livre ». L’IA résout un problème ouvert depuis 60 ans Ce n’est pas une optimisation, ni une vérification, ni un cas particulier : c’est une démonstration complète d’une conjecture d’Erdős, l’un des mathématiciens les plus influents du XXᵉ siècle. La preuve est suffisamment élégante pour être formalisée Elle est en cours de certification dans Lean, ce qui la place au même niveau de rigueur que les preuves humaines les plus solides.

Exemple de formalisation

Haut de page (ou double-clic)

Suite	IA Avancée (conjecture de Knuth) ChatGPT Robots Réseaux de neurones Modèles à raisonnement
Voir	Algorithmes Anglais – Le bagage de vocabulaire indispensable Automates Bourdons et le problème du voyageur de commerce Drones Informatique – Programmation Intelligence artificielle Robots – Quantité, utilisation, travail et chômage Robots selon Asimov Systèmes experts
Voir	Fonctionnement des ordinateurs Énigmes et paradoxes Logique – Index Multimédia et informatique – Index
Sites	Problème d’Erdős 1196 résolu via ChatGPT – Philippe Malo – les mathématiques.net AI Solved A Mathematical Problem That Had Stumped The World’s Best Minds For Decades – Anisha Sircar – 17 avril 2026 – Forbes Erdös Problem #1196 – Discussion thread
Cette page	https://diconombre.fr/Wwwgvmm/Logique/IntelArt/conjectu.htm