History
The nine Erdős problem statements proved by DeepMind's AlphaProof Nexus agent were unresolved in the mathematical literature when proved.
Claim entered the graph
Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.