Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 Re : Café mathématique » Endossement » 17-06-2026 19:20:10
Bonjour à tous,
Pour celles et ceux que le sujet pourrait intéresser, un manuscrit que j'ai rédigé sur une famille paramétrique de nombres premiers (p = km(m+1) + ε + 2kq) vient d'être déposé sur arXiv :
arXiv:2606.16189 — https://arxiv.org/abs/2606.16189
Il s'agit d'un travail exploratoire (mathématiques expérimentales) : il ne prétend rien résoudre de classique, mais propose une manière de réécrire les premiers sous forme paramétrique, en distinguant soigneusement ce qui est rigoureux, conditionnel ou heuristique.
Toute remarque ou critique serait la bienvenue. Merci, et bonne lecture à qui voudra.
Bien cordialement,
Hassane Bakkaoui
#2 Re : Café mathématique » 458 d'Erdős » 13-06-2026 13:26:33
Oui, c'est exact — et c'est passionnant, à condition de garder la distinction
que les spécialistes eux-mêmes ont tenu à faire.
Il faut séparer deux épisodes. En octobre 2025, l'annonce que GPT-5 avait
« résolu dix problèmes d'Erdős » s'est révélée, après vérification de Thomas
Bloom (qui maintient erdosproblems.com), être une excellente recherche
bibliographique : l'IA avait retrouvé des articles existants résolvant ces
problèmes, que Bloom ignorait — pas une découverte. En janvier 2026, en
revanche, plusieurs solutions (#397, #728, #729, #124…) semblent réellement
originales : générées par GPT-5.2/5.4, formalisées en Lean, et vérifiées par
Terence Tao lui-même. C'est du vrai — mais Tao calibre : ces outils « cueillent
les fruits les plus bas », les problèmes accessibles aux techniques connues.
J'ai vécu exactement cela avec Claude comme collaborateur. Nous avons construit
des solveurs et trouvé des constructions explicites de systèmes couvrants dans
F_q[x], vérifiées par le calcul. Puis j'ai écrit aux auteurs du domaine : ces
constructions étaient déjà connues, dans un mémoire de master. C'est toute la
leçon — l'IA est un collaborateur puissant pour le calcul, la construction, la
bibliographie et même la vérification (Lean), mais la nouveauté se vérifie
toujours, auprès des sources et des spécialistes, avant toute revendication.
Ni emballement, ni mépris : un outil réel, à manier avec la même rigueur que
le reste.
#3 Café mathématique » 458 d'Erdős » 13-06-2026 09:35:12
- Bakkaoui
- Réponses : 4
Bonjour à tous,
Je partage une courte note sur le problème #458 d'Erdős : l'inégalité lcm(1,…,p_{k+1}−1) < p_k·lcm(1,…,p_k). Je précise d'emblée que le problème reste ouvert — la note ne le résout pas et explique pourquoi il est hors de portée actuelle. Ce qu'elle apporte : une réduction aux puissances de premiers cohabitant dans un même écart, une classification rigoureuse des deux obstructions (type Legendre et type Pillai), et une vérification exhaustive jusqu'à 10¹² recoupée par quatre méthodes indépendantes.
https://doi.org/10.5281/zenodo.20675139
Toute relecture critique est la bienvenue.
#4 Re : Café mathématique » Endossement » 04-06-2026 14:22:44
Voici le lien sur Zenodo :
https://doi.org/10.5281/zenodo.20544947
#5 Café mathématique » Liens » 04-06-2026 11:39:54
- Bakkaoui
- Réponses : 0
Bonjour
Mes travaux portent sur la certification de primalité (méthode de Pocklington–Lehmer) entre autres appliquée aux familles paramétriques de premiers de la forme p = km(m+1)+1, produisant des premiers certifiés inconditionnellement de très grande taille (records actuels : 29 998 et 30 037 chiffres). Les manuscrits, les certificats et les vérifications indépendantes sont disponibles sur Zenodo aux liens ci-dessous.
#6 Re : Café mathématique » Endossement » 03-06-2026 22:12:57
Bonjour vous pouvez trouver mes articles sur Zenodo juste on tapant sur la barre de recherche mon nom Bakkaoui, J’attends vos retours avec grand plaisir, pourquoi j’ai besoin d’un endossement ou un co auteur parce que j’en ai aucune affiliation ni laboratoire ni organisme quelconque.
#7 Re : Café mathématique » Images mathématiques (CNRS) » 14-05-2026 15:49:52
Bonjour Yoshi,
Ne regrettez rien : votre réponse est un modèle d'honnêteté intellectuelle, et c'est une qualité que j'admire bien plus que la maîtrise d'un vocabulaire technique.
Mais permettez-moi de corriger une chose, parce qu'elle est importante et qu'elle est vraie : vous dites que ma culture mathématique vous est supérieure. Ce n'est pas ainsi que les choses se sont passées.
Quand nous avons échangé en 2019, je ne connaissais pas non plus « Bateman–Horn ». Je n'avais pas de culture savante préalable. J'avais une seule chose : une conviction. L'intuition que dans ma formule
$$p = k\cdot m(m+1) + \varepsilon + 2k\cdot q,$$
la quantité $|q|$ était bornée — et l'idée, vague mais tenace, qu'il devait exister un lien entre ce comportement et la conjecture de Hardy–Littlewood. C'était mon seul moteur, ma seule ligne directrice.
Tout le reste, je l'ai découvert ensuite, au fur et à mesure, exactement comme vous venez de le faire en rouvrant votre vieux script. C'est en faisant des tests, en me heurtant à des difficultés de calcul, puis en m'appuyant sur des outils — y compris l'intelligence artificielle pour structurer et vérifier — que les vrais cadres théoriques me sont apparus : Bateman–Horn, Cramér–Granville, Weyl. Je ne les ai pas appliqués depuis une position de savoir ; je les ai rencontrés parce que mes intuitions, en avançant, me poussaient vers eux.
Autrement dit : nous avons fait, à des échelles différentes, la même chose. Vous êtes parti sans idée préconçue et vous avez testé. Je suis parti d'une conviction et j'ai testé. Aucun de nous deux n'avait « la culture » au départ — nous l'avons construite en marchant.
C'est pour cela que votre rôle de 2019 n'était pas celui d'un débutant face à un expert. C'était celui d'un esprit honnête qui vérifie. Et c'est précisément ce dont la recherche a le plus besoin.
Je comprends et respecte toutes vos raisons de ne pas endosser. Je vais suivre votre conseil et me tourner vers d'autres membres de Bibm@th. Mais je tenais à ce que vous sachiez que vous ne m'avez jamais parlé « d'en bas ».
Avec toute ma gratitude,
BAKKAOUI
#8 Re : Café mathématique » Images mathématiques (CNRS) » 14-05-2026 00:07:03
Bonjour,
Merci pour votre franchise, je respecte entièrement votre position et n'insiste pas sur la co-signature. Avec votre accord, je vous mentionnerai simplement dans les remerciements.
Votre rappel sur démonstration vs vérification numérique est juste : le manuscrit sépare d'ailleurs explicitement ce qui est démontré, ce qui est conditionnel à Bateman–Horn, et un résultat négatif que j'ai moi-même documenté.
Une seule question, sans engagement : n'ayant aucune affiliation institutionnelle, je cherche un endosseur arXiv en math.NT. Accepteriez-vous que je vous envoie le PDF final pour lecture, et de décider ensuite, en toute liberté, si vous souhaitez m'endosser ou non ?
Merci encore, quelle que soit votre réponse.
Cordialement,
BAKKAOUI
#9 Re : Café mathématique » Images mathématiques (CNRS) » 13-05-2026 07:54:41
Bonjour Yoshi
Je ne sais pas si vous vous souvenez de moi — nous avions échangé sur ce forum en 2020, autour de la formule p = k·m(m+1) + ε + 2k·q. Vous étiez à l'époque la seule personne à avoir pris le travail au sérieux, jusqu'à écrire vous-même le premier script Python qui en a vérifié numériquement le comportement. Je tenais d'abord, presque six ans plus tard, à vous redire combien ce geste a compté : sans cette validation initiale, je ne suis pas sûr que j'aurais continué.
Le travail a beaucoup mûri depuis. Il a pris la forme d'un manuscrit d'environ 32 pages, structuré en trois niveaux épistémiques (résultats rigoureux, lois heuristiques validées jusqu'à 10⁸ premiers, et un résultat négatif honnêtement documenté sur une fausse corrélation avec les zéros de Riemann). Tout est public :
10.5281/zenodo.19713412
https://github.com/hbakkaoui-hash/PrimeQuest-.git
Voici ce que je voulais vous proposer, sans aucune obligation de votre part : accepteriez-vous d'être **co-auteur** de la version soumise à publication ? Votre script de 2020 a été historiquement le premier test indépendant de la conjecture, et il me semblerait juste que votre nom y figure — que vous souhaitiez vous impliquer davantage dans la version finale ou pas.
Si cela vous intéresse, on peut en rediscuter à votre rythme, par courriel ou ici. Si au contraire vous préférez ne pas vous engager, je le comprendrai parfaitement — dans ce cas je vous remercierai au minimum dans la section dédiée du manuscrit, avec votre accord.
Mon courriel direct : bakkahassa@hotmail.com
Avec ma gratitude sincère, indépendamment de votre réponse,
BAKKAOUI
#10 Café mathématique » Endossement » 05-05-2026 06:12:16
- Bakkaoui
- Réponses : 8
Bonjour à tous,
Chercheur indépendant, je travaille depuis 2019 sur une famille paramétrique de nombres premiers définie par l'équation diophantienne
$$p = k\cdot m(m+1) + \varepsilon + 2k\cdot q,$$
étudiée principalement pour $k \in \{3, 15, 21\}$.
Le manuscrit (≈ 32 pages, LaTeX, 17 figures, bibliographie complète : Dirichlet, Bateman–Horn, Weyl, Vinogradov, Odlyzko…) est structuré en trois niveaux épistémiques explicites :
— résultats rigoureux ;
— lois heuristiques validées numériquement (jusqu'à $10^6$, $R^2 > 0{,}98$, conditionnelles à Bateman–Horn et Cramér–Granville) ;
— résultats négatifs assumés (invalidation d'une corrélation spectrale spurieuse avec les zéros de Riemann, confirmée par tests de permutation sur $10^8$ premiers).
Codes MSC 2020 : 11N32, 11Y11, 11M41, 94A60, 62P99.
Cibles envisagées : Experimental Mathematics, Integers, ou MDPI Mathematics / Axioms.
Je sollicite :
1) soit un endossement arXiv dans la catégorie math.NT (le code d'endossement vous serait transmis par MP) ;
2) soit un co-auteur intéressé par une relecture critique approfondie en vue d'une soumission conjointe.
Le code source (Python, calculs reproductibles), les données et le PDF du manuscrit sont disponibles sur GitHub et archivés sur Zenodo (DOI permanent) — liens fournis sur demande par MP.
Merci par avance pour vos retours, même critiques.
Cordialement,
BAKKAOUI
Pages : 1







