Zhang Yitang

En mai 2013, Yitang Zhang publie un résultat spectaculaire sur les nombres premiers. Il prouve qu'il existe une infinité de paires de nombres premiers séparées par au plus soixante-dix millions.

Ce nombre reste très loin de l'écart de 2 visé par la conjecture des nombres premiers jumeaux. L'avancée est ailleurs : Zhang obtient une borne fixe valable pour une infinité de paires. Son travail relance alors fortement les recherches sur ce problème.

Yitang Tom Zhang est un mathématicien chinois né à Shanghai en 1955 et spécialiste de théorie des nombres. Privé d'enseignement secondaire pendant la Révolution culturelle, il entre à l'université de Pékin en 1978. Il y poursuit ses études jusqu'à la maîtrise, puis rejoint l'université Purdue grâce à une bourse. Son doctorat de 1985 porte sur la conjecture jacobienne ; une habilitation suit en 1991.

Après plusieurs années sans poste académique, durant lesquelles il conserve différents emplois et poursuit ses recherches, Zhang devient maître de conférences. Il est nommé professeur à l'université du New Hampshire en 2014, puis rejoint l'université de Californie à Santa Barbara en 2015.

Sa contribution la plus célèbre paraît en mai 2013. Elle établit l'existence d'une infinité de paires de nombres premiers dont l'écart est au plus égal à 70 000 000. Cette borne fixe ne prouve pas la conjecture des nombres premiers jumeaux, qui porte sur l'écart 2, mais elle en constitue une forme affaiblie et provoque une importante vague de recherches. En novembre 2022, Zhang publie aussi un article affirmant résoudre une conjecture sur les zéros de Landau-Siegel, analogue à l'hypothèse de Riemann. L'intérêt médiatique précède alors la validation par la communauté mathématique.

Le résultat de 2013 peut se lire comme une suite de cinq étapes. Données : la conjecture des nombres premiers jumeaux vise un écart de 2 ; le résultat de Zhang porte sur une borne de 70 000 000. Pour lire un écart, observons trois paires : (3, 5), (11, 17) et (23, 29).

1. La conjecture affirme que l'écart 2 revient une infinité de fois. La conclusion publiée par Zhang est plus faible, mais elle conserve l'idée d'une infinité de paires.

2. Calculons les écarts de ces exemples : 5 − 3 = 2, 17 − 11 = 6 et 29 − 23 = 6. Ces trois vérifications sont finies et ne suffisent pas, à elles seules, à établir une infinité de paires.

3. Les trois écarts calculés, 2, 6 et 6, sont tous inférieurs ou égaux à 70 000 000. Ils illustrent donc ce que signifie respecter la borne, sans représenter toutes les paires garanties par le résultat.

4. Comparons maintenant les deux objectifs : la borne obtenue est 70 000 000, tandis que la conjecture complète exige l'écart 2.

5. La conclusion est précise : ces exemples montrent comment calculer un écart, mais seul le résultat de Zhang établit l'existence d'un écart borné pour une infinité de paires ; il ne résout pas la conjecture des nombres premiers jumeaux.

Pour situer Zhang dans l'histoire des nombres premiers, on associe son nom au résultat des écarts bornés publié en 2013. Si la question porte exactement sur l'écart 2, il faut plutôt consulter la conjecture des nombres premiers jumeaux.

Pour lire sa biographie, on distingue sa formation de sa contribution la plus célèbre. Son doctorat de 1985 concerne la conjecture jacobienne ; la preuve sur les paires de nombres premiers est publiée en 2013.

Pour évaluer l'annonce de 2022, on conserve le statut indiqué par la source : Zhang affirme avoir résolu une conjecture sur les zéros de Landau-Siegel. Tant que la validation communautaire n'est pas établie, on parle d'une affirmation publiée, pas d'un théorème reconnu.

Écarts bornés et nombres premiers jumeaux. Le critère qui les sépare est la valeur de la borne. Le résultat de Zhang donne au plus 70 000 000 pour une infinité de paires ; la conjecture des jumeaux exige exactement un écart de 2.

Publication et validation. Un article qui affirme résoudre une conjecture n'est pas, par ce seul fait, un résultat validé. L'annonce de novembre 2022 sur les zéros de Landau-Siegel a attiré l'attention avant sa validation par la communauté mathématique.

Conjecture jacobienne et problèmes sur les nombres premiers. Le sujet du doctorat soutenu en 1985 est la conjecture jacobienne. Le résultat qui rend Zhang célèbre en 2013 concerne, lui, les écarts entre nombres premiers.

La borne n'est pas l'écart de chaque paire de nombres premiers. Le résultat garantit l'existence d'une infinité de paires dont la différence ne dépasse pas 70 000 000. Il ne dit pas que toutes les paires de nombres premiers respectent cette borne.

« Forme affaiblie » ne signifie pas preuve complète. Le symptôme du contresens est de remplacer 70 000 000 par 2 dans la conclusion. Il faut conserver la borne effectivement prouvée et présenter l'écart 2 comme l'objectif de la conjecture.

Une date de publication n'est pas une date de validation. Novembre 2022 date l'article sur les zéros de Landau-Siegel et l'affirmation qu'il contient. La source ne permet pas de dater une validation ultérieure ; il ne faut donc ni l'inventer ni la sous-entendre.

nombres premiers jumeaux — Préciser l'écart 2 que le résultat de Zhang approche sans encore l'établir.