This repository collects self-contained research dossiers on individual Erdős problems.
- Problem 593 -- the maintained
Erdos593repository, linked here as a Git submodule. - Problem 625 -- a proposed full-sequence quantitative resolution of
the chromatic--cochromatic gap problem for
G(n,1/2), with a complete Lean 4 formalization and a one-file formal proof.
The canonical Problem 625 publication package is in 625/arxiv/.
Problem 593 submission files remain in arxiv_preprints/.
Both manuscripts are preprints and have not undergone external peer review. The repository makes the arguments and supporting material available for expert scrutiny; it does not assert an official change in the published status of either Erdős problem.
Original repository material is licensed under the
Creative Commons Attribution 4.0 International License. When the
license requires attribution, credit Samuil Petkov, link to this repository
when reasonably practicable, identify CC BY 4.0, and state whether changes were
made. Scholarly users are also asked to cite the project using
CITATION.cff.
See LICENSE_SCOPE.md for the scope of the license and the
exclusions for third-party literature, source scans, dependencies, and files
carrying their own notices.