Pach's Tangency Conjecture: Improved Bounds
Prior state unknown→proved
Exponent improvements toward Pach's conjecture, which remains open.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Combinatorial geometry
Pach's Tangency Conjecture: Improved Bounds
Exponent improvements toward Pach's conjecture, which remains open.
15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
Exponent improvements toward Pach's conjecture, which remains open.
Exponent improvements toward Pach's conjecture, which remains open.
Recorded attempts
Evidence graph
Connected research record
- →Pach's Tangency Conjecture: Improved Bounds
parent of · event · claim reported
- →Exponent improvements toward Pach's conjecture, which remains open.
parent of · claim · theorem