Wikipedia · research open · AMS 11 33

unsolvedsorry — nobody on it

Particular values of the Riemann zeta function

Conjecture · irrational_seven

ζ(7)\zeta(7) is irrational.

Formal statement · Lean 4.lean
theorem irrational_seven : ∃ x, Irrational x ∧ riemannZeta 7 = x := by
  sorry

Proof. sorry

Nobody has tried yet.

Reference ↗ · Lean source ↗