Projet Zêta

Riemann Lab – Documentation Générale

Bienvenue sur le Wiki du projet d'exploration de l'Hypothèse de Riemann et de ζ(s).

📚 Navigation

Page	Description	Théorie Mathématiques
Etape-1-Calcul-des-zéros-non-triviaux	Résultats numériques: 206 zéros validés puis 10142 après la correction du crash overflow à t ≈ 432	Partie-1-La-Théorie-Étape_1
Étape-2-Visualisations-avancées	Graphiques 2D/3D (à venir)
Étape-3-Intelligence-artificielle	IA locale avec Ollama (à venir)
Étape-4-Preuves-formelles-Lean	Formalisation en Lean 4 (à venir)

🎯 État d'avancement

• ✅ Infrastructure configurée (Ubuntu, Python, mpmath)
• ✅ Étape 1 : 10421 zéros calculés – Voir détails
• ⚪ Étape 2 : Non démarrée
• ⚪ Étape 3 : Non démarrée
• ⚪ Étape 4 : Non démarrée

🔗 Liens utiles

• README principal
• Issues
• Code source
• VsCode Guide

---

Dernière mise à jour : 22 mai 2026 — 30 lignes