-
septembre 2026 : démonstration en lean des petits lemmes par lumo (reprise, caractères lean manquants)
-
7 novembre 2026 : reprise de la formalisation en Lean du treillis
-
8 octobre 2026 : logarithmes
-
6 octobre 2026 : éclaircir ou obscurcir : 2+3, 3+2, 2×3, 3×2, 23, 32
-
souvenir journée mamuphi hier et revenir aux zéros de ζ avec les ia française (mistral-vibe) et européenne (lumo, l'ia suisse créée par deux anciens ingénieurs du Cern)
-
juin 2026 : log de log de log et fonction de Lambert
-
Somme des diviseurs et équation de Chazy
-
La fonction 2π x / Lambert(x/e) est la fonction inverse de la fonction de Riemann-von-Mangoldt (explication de gemini) ; en la combinant à la fonction non prouvée par Riemann (utilisant le logarithme intégral), je peux calculer sympathiquement le 10 millionième nombre premier à partir du 10 millionième zéro de ζ en 2 minutes, j’aime bien.
-
mars 2026 : Transcriptions à la mémoire de Michèle Audin
-
mars 2026 : Sur les ponts de Paris traduction d’une note de Knuth (résolution d’une de ses conjectures par une IA)
-
mai 2026 : programme gb-tools de Daniel Diaz de décembre 2010
-
Que nulle n’entre ici si elle n’est géométre
Christian Goldbach (18.3.1690, Königsberg (maintenant Kaliningrad), 20.11.1764, Moscou).
Léonard Euler (15.4.1707, Bâle, 18.9.1783, Saint-Pétersbourg).
Le 7 juin 2030, la conjecture de Goldbach aura 288 ans.
Contact : chemla point denise at orange point fr Blog : https://milliardsdautres.blogspot.com
|
|
