finding record / erdos
recordedvf_6dd7ae4e1349783e
Erdős Problem #169
declared status 'open'. Formalized: no. Let and be the supremum of as ranges over all sets of positive integers which do not contain a -term arithmetic progression. Estimate . Iswhere is the van der Waerden number? Current best: The current record for is , due to Wr\'{o}blewski [Wr84]. Walker [Wa25] has shown that it suffices to consider Kempner sets (that is, sets of integers defined as all those whose base digits are contained in some for fixed and ), in the sense that for any and there is a Kempner set lacking -term arithmetic progressions such that References [Be68] Berlekamp, E. Prize: no. OEIS: A005346. Tags: additive combinatorics, arithmetic progressions.
Notation is rendered from the stored source. The pinned checkout remains the exact record.
- database_record
- theoretical
- 0 spans
- recorded
- erdos_deep:169
- database_record
- Jun 16, 2026, 12:00 AM
- not recorded
- 0
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_6dd7ae4e1349783e
- vfr_0a25edabc16db143
- ce8ba7d934c848408e0d91caca39e938698e3fc7
- 03f7371b496485f761f91961027fd48198dc7e93
Exact source and rootsGit ce8ba7d934c8 and content-addressed ledgers
Source identity
- Commit
- ce8ba7d934c848408e0d91caca39e938698e3fc7
- Tree
- 03f7371b496485f761f91961027fd48198dc7e93
- Committed
- 2026-07-20T19:20:20-04:00
- Repository
- Open source
Content roots
- Event log
- sha256:a06797bc0d1b0e3c88a2f97507fe0832661e3992d8df41187a0aa6d3ceee9bde
- Snapshot
- sha256:1faedc24f040a60a22177b456c74b969a61ce8836082297b1835797a57b4fa56
- Proposals
- sha256:e69b38037814f2e8ca826942cfc50ab370993889be2913cac1c0b3e77711160f
- Actor registry
- sha256:665f3e1c48f0a50fac949681c0af01bdd28de2991f2cdc5cc4cddbe69df6311b
- Artifacts
- sha256:3d58619c5cfb7e28de2f344476e35c9f0b80709c996b2a1bfdb2e11496f7e1da