Domain Arrivals
You’re viewing the 2026-08-12 issue, not the current issue. Go to the current issue: 2026-08-14

Featured in Domain Arrivals · 2026-08-12

The Riemann Zeta Proof Leaderboard

riemannzeta.fun ↗ · Oddly Specific · score 84.0
○Open: public page gives enough substance to understand the site $Paid: pricing, booking, ecommerce, subscription, or paid access is visible ADAds: visible ad load or ad-supported content ✦Pretty: notable design, copy, craft, or presentation ◆Pro: polished, finished-feeling, serious, or operationally mature ◇Niche: specific audience, workflow, or unusually focused use case ◉Human: personal, local, community, civic, handmade, or real-person signal !Suspicious: scammy, spammy, trust theater, finance fog, or credibility concern

A machine-checked leaderboard tracking the strongest unconditional lower bound for the proportion of nontrivial Riemann zeta zeros on the critical line.

Why it surfaced

The site turns a famous mathematical problem into a concrete competition: submit an exact rational bound and a Lean proof, then let the Lean kernel and an independent nanoda replay verify it. Its current record is listed as 67.2500703679%, with a public ledger reaching back to results from 1974.

Read the complete issue Visit the observed site ↗

Continue into the edition

Ice Does Not Count

August 12’s newborn domains include a rule-bound archive of enormous sodas, 27 family stories cut from one afternoon, a disaster-supply map with a 24-hour freshness rule, and an ocean bell that rings only when six conditions agree.

This is one of 1,000 discoveries in the 2026-08-12 Domain Arrivals issue.

Explore the complete issue Browse Oddly Specific

More from Oddly Specific

Three more arrivals

Women's Noble Death and Martyrdom in Antiquity womensnobledeath.com

A searchable digital corpus of Greek and Latin passages about women whose deaths carry moral, political, religious, or exemplary significance.

 Chickenjoy Index: What Does Joy Cost Today? chickenjoyindex.com

An interactive history of Jollibee Chickenjoy prices in the Philippines, compared with wages, inflation, and the buying power of ₱100.

 Chronicle of Nations, Where History Revises Its Own Footnotes chronicleofnations.net

An alternate-history grand strategy game set in Europe in 1836, where you govern through ministers, issue orders in plain language, and watch a deterministic engine resolve the consequences.