I extended the recent 67.25007% zeta bound to 67.28470% in Lean
By thomaslince · 2026-08-27 · 1 points · 0 comments
https://github.com/teal-sea/zeta-lab
By thomaslince · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews