geometry-topology / Discrete Geometry

Erdős Problem #769

the conjectured lower bound is disproved; good bounds for c(n) remain open

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologyJul 13, 2026Significance 10/100Registry: lean verified

Erdős Problem #769

Prior state unknown→disproved

the conjectured lower bound is disproved; good bounds for c(n) remain open

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

the conjectured lower bound is disproved; good bounds for c(n) remain open

the conjectured lower bound is disproved; good bounds for c(n) remain open

Recorded attempts

Evidence graph

Connected research record

Explore this graph →

Erdős Problem #769 — Mathematical Frontier Network