History
The prime number theorem is equivalent to the non-vanishing of the Riemann zeta function on the line with real part 1.
Claim entered the graph
Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.