Intelligence artificielle et mathématiques : les conjectures séculaires tombent

En l’espace de quelques mois, l’intelligence artificielle a réussi ce que plusieurs générations de mathématiciens n’étaient pas parvenues à faire : elle a résolu, ou du moins fait vaciller, des conjectures mathématiques vieilles de 80 à 90 ans. Ces avancées, spectaculaires sur le papier, posent une question plus discrète mais tout aussi cruciale : comment vérifier qu’une machine a vraiment raison ?

Deux conjectures séculaires mises à terre

Le 20 mai 2026, un modèle de raisonnement d’OpenAI a réfuté la conjecture d’Erdős sur les distances unitaires, un problème de géométrie combinatoire posé en 1946. L’intelligence artificielle a découvert une famille infinie de configurations de points dépassant la borne que l’on croyait optimale depuis quatre-vingts ans – une idée neuve, et non un simple calcul accéléré. La preuve a été vérifiée par plusieurs mathématiciens de renom, dont le médaillé Fields Tim Gowers.

Deux mois plus tard, fin juillet 2026, le modèle Claude Fable 5 d’Anthropic a aidé à démonter la conjecture jacobienne, un problème ouvert depuis 1939, en produisant un contre-exemple concret que les mathématiciens ont pu vérifier à la main en une seule journée. Kevin Buzzard, de l’Imperial College de Londres, a confirmé la validité de la solution dès le lendemain matin.

Une accélération qui vient de plus loin

Ces deux épisodes ne sont pas isolés. Dès la mi-2025, des modèles d’IA avaient déjà résolu cinq des six problèmes de l’Olympiade internationale de mathématiques, un signal fort pour toute la discipline. Depuis, les annonces de percées se sont multipliées, y compris sur des conjectures de théorie des nombres qui résistaient depuis des générations aux meilleurs esprits humains.

Le scepticisme s’organise chez les chercheurs

Face à cette cadence inédite, la communauté mathématique s’inquiète moins des résultats bruts que de la manière dont ils sont validés. En juin 2026, seize chercheurs issus de quinze universités ont signé la déclaration de Leiden, appelant à des garde-fous sur la transparence, l’attribution du travail et la relecture par les pairs. Plusieurs revues spécialisées ont d’ailleurs souligné qu’une IA peut proposer un résultat qui « passe » les vérifications standards sans que sa démonstration soit immédiatement intelligible pour un humain – une situation inédite qui bouscule le rôle même du mathématicien, désormais davantage superviseur que découvreur solitaire.

• Mai 2026 : la conjecture d’Erdős sur les distances unitaires (1946) réfutée par un modèle de raisonnement d’OpenAI.
• Juin 2026 : la déclaration de Leiden fixe des règles de transparence et de relecture par les pairs.
• Juillet 2026 : la conjecture jacobienne (1939) mise en défaut par Claude Fable 5 d’Anthropic.

Ce que cela change concrètement

Pour la recherche française, ces avancées interrogent directement les métiers scientifiques : les laboratoires de mathématiques et d’informatique commencent à revoir leurs méthodes de relecture, et plusieurs équipes explorent déjà des outils similaires pour accélérer leurs propres travaux. Du côté de la formation, des débouchés vers des postes hybrides de type « mathématicien-vérificateur de preuves IA » apparaissent progressivement, un phénomène à suivre du côté de l’emploi et de la formation. Plus largement, ces épisodes s’inscrivent dans la vague plus vaste du high-tech numérique qui redéfinit déjà des pans entiers de la recherche scientifique.

Reste une certitude, partagée par les scientifiques eux-mêmes : ces outils ne remplacent pas le jugement humain, ils le déplacent. Vérifier, contextualiser, attribuer correctement le mérite d’une découverte – ces tâches deviennent le nouveau cœur du métier de chercheur, en science et technologie comme ailleurs.

Questions fréquentes

Qu’est-ce que la conjecture d’Erdős sur les distances unitaires ?

Posée en 1946 par le mathématicien Paul Erdős, elle porte sur le nombre maximal de distances identiques pouvant apparaître entre des points d’un plan. Un modèle de raisonnement d’OpenAI en a proposé une réfutation en mai 2026, vérifiée depuis par plusieurs mathématiciens de premier plan.

Qu’est-ce que la conjecture jacobienne ?

Formulée en 1939, cette conjecture concerne certaines transformations mathématiques réversibles. Le modèle Claude Fable 5 d’Anthropic a contribué, fin juillet 2026, à en produire un contre-exemple concret validé par des mathématiciens en moins de vingt-quatre heures.

Pourquoi les mathématiciens restent-ils prudents face à ces résultats ?

Parce qu’une preuve produite par une IA peut être juste sans être immédiatement compréhensible pour un humain. La déclaration de Leiden, signée en juin 2026 par seize chercheurs de quinze universités, réclame donc davantage de transparence et de relecture par les pairs avant toute validation définitive.

Sources

Fortune – Scientific American – Tangente Magazine