Les capacités mathématiques de Claude face à l'hypothèse de Riemann

Le modèle n'a pas résolu la conjecture. En revanche, il a amélioré une borne inférieure sur la proportion de zéros de la fonction zêta de Riemann qui satisfont l'hypothèse, faisant passer cette constante de 41,6 % à 67,2 %. Deux mathématiciens d'Anthropic ont étudié et validé le travail; les experts Brian Conrey et Dan Goldston l'ont aussi examiné. Pour un élève de collège, le problème est hors programme. La logique d'encadrement, elle, ne l'est pas.

La méthode appliquée

L'hypothèse de Riemann affirme que les zéros non triviaux de la fonction zêta se trouvent sur une droite verticale précise du plan complexe. On ne sait pas la démontrer. On peut, en revanche, quantifier la proportion minimale de zéros effectivement situés sur cette droite: c'est la borne que Claude a cherché à augmenter.

Déroulé vérifié dans le document d'Anthropic:

1. Reprendre les résultats publiés par Baluyot, Goldston, Suriajaya et Turnage-Butterbaugh, qui ont étendu les techniques de Montgomery (1973) à un cadre ne supposant pas l'hypothèse vraie.

2. Les combiner avec un article de Bombieri datant de 2000.

3. Construire un espace de fonctions muni d'une forme quadratique induite par Weil, avec des sous-espaces définis et indéfinis issus respectivement des zéros sur la droite et hors de la droite.

4. Écrire une inégalité liant le rang de la forme quadratique à des informations de moments d'ordre un et deux.

5. Conclure sur une nouvelle valeur de la borne.

Résultat: la conjecture reste ouverte, mais le champ des cas possibles se restreint.

Ce que cela donne à voir au collège

L'hypothèse elle-même est hors programme. Trois mécanismes, en revanche, sont directement réutilisables en classe.

• Une borne, c'est un encadrement: minorant et majorant. On en pose dès qu'on approxime √2 ou qu'on compare deux aires.
• Améliorer une borne ne donne pas la valeur exacte. C'est un raisonnement par encadrements successifs: chaque étape réduit l'incertitude, sans la fermer.
• La conjecture fournit un cadre; on prouve à l'intérieur des résultats partiels. Même structure qu'un exercice de collège où l'on demande d'encadrer un nombre sans le calculer.

Trois principes à garder en tête: on ne saute aucune étape logique, on cite ses sources, on vérifie chaque inégalité.

Test de vérification

Trois points à valider en moins de deux minutes.

1. Donner la définition de borne inférieure d'un ensemble de réels.

2. Expliquer pourquoi passer de 41,6 % à 67,2 % ne démontre pas l'hypothèse de Riemann.

3. Citer un exemple de collège où l'on prouve un encadrement sans calculer la valeur exacte.

Si l'une des trois réponses hésite, reprendre la section précédente. Sinon, le mécanisme est acquis.