Finding · erdos
recordedvf_807880f03a79c17a
Erdős Problem #669
Canonical assertion
declared status 'open'. Formalized: no. Let be minimal such that for any points in there exist at most many distinct lines passing through at least of the points, and similarly but with lines passing through exactly points. Estimate and - in particular, determine and . Current best: Burr, Gr\"{u}nbaum, and Sloane [BGS74] have proved thatandThere is a trivial upper bound of , and henceSee also [101]. Prize: no. OEIS: A003035, A006065, A008997. Tags: geometry.
Rendered from stored source; the pinned checkout remains the exact record.- database_record
- theoretical
- 0 spans
- not recorded
- recorded
Scope and conditions
theoreticalNo additional conditions are projected for this record. Inspect the exact source for complete caveats.
Source record
0 evidence spans- Source
- erdos_deep:669
- Type
- database_record
- Recorded
- Jun 16, 2026, 12:00 AM
- Updated
- not recorded
Reproduce the source snapshot
Replay establishes the exact record and checks. It does not add scientific authority.
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_807880f03a79c17a
- 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