The Hall-Ho Heat Flow Conjecture for Random Matrices
Prior state unknown→proved
Proves general cases of the conjecture rather than every case.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
probability-statistics / Random matrix theory
The Hall-Ho Heat Flow Conjecture for Random Matrices
Proves general cases of the conjecture rather than every case.
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
Proves general cases of the conjecture rather than every case.
Proves general cases of the conjecture rather than every case.
Recorded attempts
Evidence graph
Connected research record
- →The Hall-Ho Heat Flow Conjecture for Random Matrices
parent of · event · claim reported
- →Proves general cases of the conjecture rather than every case.
parent of · claim · theorem