Riemann zeta function — at least 67.25% of zeros on the critical line
riemannzeta.fun
LaunchIndex first observed Riemann zeta function — at least 67.25% of zeros on the critical line (riemannzeta.fun) live on 16 August 2026. View its launch screenshot, category, technologies, and verification evidence.
A launch record built from evidence.
Riemann zeta function — at least 67.25% of zeros on the critical line (riemannzeta.fun) was first observed live on 16 August 2026.
A site documenting machine-checked records of nontrivial zeros of the Riemann zeta function on the critical line, with Lean proofs and public submissions.
Its profile is classified as Professional service within Education / Learning and training. Verification detected Next.js.
What the launch signal contained.
- First observed live
- Previous state
- No prior non-live observation
- Last verified
- Canonical host
- www.riemannzeta.fun
- Category
- Education / Learning and training
- Website type
- Professional service
- Observed title
- Riemann zeta function — at least 67.25% of zeros on the critical line
- Observed description
- A machine-checked record of the largest proven proportion of nontrivial Riemann zeta zeros on the critical line. New results are submitted as Lean proofs and rechecked before they are published.
- Detected technologies
- Next.js
- Screenshot captured
- Evidence source
- Browser observation · Local
- Evidence confidence
- 93%
- HTTP status
- 200
Is this your website?
Claim this profile to add verified owner information.
What do you make of this launch?
Vote on the site and leave a short note for other people exploring the new web.
Report an issueFlag spam, illegal or harmful content, or inaccurate information.
Reports are private and reviewed by the moderation team. No sign-in is required, so this report will be anonymous.
Join the discussion
Sign in with Google to vote or comment.
Sign in to participateComments
0 commentsBe the first to leave a useful observation.