Open Issues Need Help
View All on GitHub Independent human review of the Dimitrov–Xu correction about 2 months ago
help wanted review correction
marcoloco23/riemann-hypothesis marcoloco23/riemann-hypothesis Open, reproducible research on the Riemann hypothesis with explicit evidence states, negative results, and formal-verification plans.
Open project →
0
Open, reproducible research on the Riemann hypothesis with explicit evidence states, negative results, and formal-verification plans.
Python
#analytic-number-theory#explicit-formula#lean4#reproducible-research#riemann-hypothesis#riemann-zeta
Scope the L8a Riemann–Weil explicit formula for IEANTN about 2 months ago
help wanted proposal
marcoloco23/riemann-hypothesis marcoloco23/riemann-hypothesis Open, reproducible research on the Riemann hypothesis with explicit evidence states, negative results, and formal-verification plans.
Open project →
0
Open, reproducible research on the Riemann hypothesis with explicit evidence states, negative results, and formal-verification plans.
Python
#analytic-number-theory#explicit-formula#lean4#reproducible-research#riemann-hypothesis#riemann-zeta
Independent review requested: L9 §§2–4 about 2 months ago
help wanted review status: proved-written
marcoloco23/riemann-hypothesis marcoloco23/riemann-hypothesis Open, reproducible research on the Riemann hypothesis with explicit evidence states, negative results, and formal-verification plans.
Open project →
0
Open, reproducible research on the Riemann hypothesis with explicit evidence states, negative results, and formal-verification plans.
Python
#analytic-number-theory#explicit-formula#lean4#reproducible-research#riemann-hypothesis#riemann-zeta