Erdős problem survey · finite-verifier view

Erdős Atlas

A working map of open frontiers, organized by verifier fit and mathematical impact. It records where a finite object can carry a meaningful claim, and where the reduction to one remains the hard part.

Scores are comparative research judgments, not theorem status or prize eligibility. “Boardable” means a plausible exact finite-object interface was identified; admission still requires a reviewed specification, reduction argument where applicable, immutable verifier, and adversarial testing.