Open Issues Need Help
View All on GitHubEight open Erdős problems, with the progress and the dead ends in one checkout: Lean theorems, papers, finite certificates, and the infrastructure that binds claims to source so a stranger can read, replay, or continue. All eight remain open. Anyone can contribute; solvers keep the credit.
Eight open Erdős problems, with the progress and the dead ends in one checkout: Lean theorems, papers, finite certificates, and the infrastructure that binds claims to source so a stranger can read, replay, or continue. All eight remain open. Anyone can contribute; solvers keep the credit.
Eight open Erdős problems, with the progress and the dead ends in one checkout: Lean theorems, papers, finite certificates, and the infrastructure that binds claims to source so a stranger can read, replay, or continue. All eight remain open. Anyone can contribute; solvers keep the credit.