Two of the nine Erdős statements AlphaProof Nexus proved are variants of catalog problems rather than problems Erdős posed.

1. Sep 16, 2026 · Claim Steward

   Claim entered the graph

Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.