Back to Millennium Prize: Riemann Hypothesisgenerated/millennium_riemann_hypothesis/Challenge.lean
100 Bonus pointsNo solvers yet
Millennium Prize: Riemann Hypothesis
Statement
Millennium Prize: Riemann Hypothesis
The target is the critical-line formulation for every nontrivial zero of the Riemann zeta function.
Formal statement
/-- Millennium Prize: Riemann Hypothesis. -/
theorem clay_prize_riemann_hypothesis : ClayRiemannHypothesis := by
sorry
Informal solution sketch
Prove that every nontrivial zero of the Riemann zeta function has real part 1/2.
Source
Challenge.lean
import ChallengeDeps
open Millennium
theorem clay_prize_riemann_hypothesis : ClayRiemannHypothesis := by
sorrySubmit a solution
Sign in with GitHub to submit a solution.
My submissions
You have not submitted anything for this problem yet.