The Thin Matching Problem
Prior state unknown→proved
up to polylogarithmic factors
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
algorithms-optimization / Graph algorithms
The Thin Matching Problem
up to polylogarithmic factors
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
up to polylogarithmic factors
up to polylogarithmic factors
Recorded attempts
Evidence graph
Connected research record
- →up to polylogarithmic factors
parent of · claim · theorem
- →The Thin Matching Problem
parent of · event · claim reported