AI-assisted research notes on selected Erdős problems. These notes are exploratory unless a document explicitly identifies an external, independently authored result.
| Problem | Status in this repository | Key document |
|---|---|---|
| #114 | Open; proposed finite-case verification framework only | Erdos_114_Bridging_The_Gap.md |
| #130 | Open; structural reductions and bounds, requiring expert audit | erdos_130_new_reduction.md |
| #524 | Solved externally by Letwin–Sawhney, arXiv:2604.19294 (preprint); repository makes no authorship claim | SOLUTION_STATUS.md |
| #940 | Open; computational/structural investigation | erdos940_research_note.md |
| #1108 | Open; partial and conditional observations | Report_Asymptotic_Obstruction_1108.md |
- Do not treat a claimed theorem in these notes as established without independent checking.
- Superseded arguments and corrections are retained to document the audit trail; later correction notes take precedence.
- “Solved” is used here only for #524, and solely to record the cited external preprint. The relevant problem-list maintainer determines its official status.