finding record / erdos
recordedvf_b7dbf73fecff5a41
Erdős Problem #15
Canonical assertion
declared status 'open'. Formalized: yes. Is it true thatconverges, where is the sequence of primes? Current best: Sawhney has provided the following proof that this series converges absolutely for : note that, whenever , the contribution to the sum from gaps is convergent, so it suffices to consider only small gaps. The number of such that is bounded above by (this can be proved via the Selberg sieve). Prize: no. Tags: number theory, primes.
Notation is rendered from the stored source. The pinned checkout remains the exact record.
- database_record
- theoretical
- 0 spans
- recorded
Provenance summary
- erdos_deep:15
- database_record
- Jun 16, 2026, 12:00 AM
- not recorded
- 0
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_b7dbf73fecff5a41
- 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