The Classical Smith-Ward Problem
Prior state unknown→disproved
Harris had settled the generalized problem in dimension four; this reaches dimension three
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
analysis / Operator algebras
The Classical Smith-Ward Problem
Harris had settled the generalized problem in dimension four; this reaches dimension three
20Significance / 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
Harris had settled the generalized problem in dimension four; this reaches dimension three
Harris had settled the generalized problem in dimension four; this reaches dimension three
Recorded attempts
Evidence graph
Connected research record
- →The Classical Smith-Ward Problem
parent of · event · claim reported
- →Harris had settled the generalized problem in dimension four; this reaches dimension three
parent of · claim · counterexample