Bellman's Lost-in-a-Forest Problem for the Golden Gnomon
Prior state unknown→proved
Bellman's problem for general regions remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topology / Convex geometry
Bellman's Lost-in-a-Forest Problem for the Golden Gnomon
Bellman's problem for general regions remains open
30Significance / 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
Bellman's problem for general regions remains open
Bellman's problem for general regions remains open
Recorded attempts
Evidence graph
Connected research record
- →Bellman's problem for general regions remains open
parent of · claim · theorem
- →Bellman's Lost-in-a-Forest Problem for the Golden Gnomon
parent of · event · claim reported