Conversation

• H Hacker News - Newest: "Reddit" Hacker News - Newest: "Reddit" remote Sep 26, 2026, 11:54 AM You are here

  Zeta(5) has been proven irrational (also Lean-verified)

  Article URL: https://www.reddit.com/r/mathematics/comments/1woe4gx/a_lean_formalization_of_zeta5_being_irrational/

  Comments URL: https://news.ycombinator.com/item?id=49855681

  Points: 2

  # Comments: 1

  source