Astra établit une nouvelle borne pour les écarts entre nombres premiers
OpenAI a introduit une preuve formelle réduisant la constante d'écart entre les nombres premiers à 186, marquant une avancée significative en théorie analytique des nombres.
Astra établit une nouvelle borne pour les écarts entre nombres premiers
Il s'agit de l'un des problèmes classiques et les plus connus de la théorie analytique des nombres. La question se pose ainsi : existe-t-il une constante C telle qu'une infinité de paires de nombres premiers consécutifs diffèrent de moins de C ?
La finitude d'un tel écart n'a été démontrée qu'en 2013. En 2014, le projet Polymath8 dirigé par Terence Tao a réduit cette constante à 246, et récemment, Julia Stadlmann l'a abaissée à 240.
Astra a désormais réduit C à 186 : OpenAI a publié une preuve formelle dans le langage Lean. Détails sur GitHub
Il n'est pas affirmé que le modèle a découvert cette estimation de manière entièrement autonome. De plus, le résultat repose sur trois axiomes présents dans la littérature mais non encore prouvés formellement en Lean. Néanmoins, un résultat reste un résultat. OpenAI affirme également avoir amélioré un terme dans l'estimation des grands écarts entre les nombres premiers, qui était resté inchangé depuis plus de 80 ans.
Pourquoi c'est important
AnalyseCette découverte est cruciale pour la théorie analytique des nombres car elle resserre les bornes connues sur les écarts entre nombres premiers, ouvrant potentiellement de nouvelles pistes de recherche dans ce domaine.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs