The Huang-Jiang-Oblomkov Conjecture at a = 3
Prior state unknown→proved
Proves the a = 3 layer; the conjecture is layered in a and remains open for larger a.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
number-theory / q-series; arithmetic geometry
The Huang-Jiang-Oblomkov Conjecture at a = 3
Proves the a = 3 layer; the conjecture is layered in a and remains open for larger a.
12Significance / 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 the a = 3 layer; the conjecture is layered in a and remains open for larger a.
Proves the a = 3 layer; the conjecture is layered in a and remains open for larger a.
Recorded attempts
Evidence graph
Connected research record
- →Proves the a = 3 layer; the conjecture is layered in a and remains open for larger a.
parent of · claim · theorem
- →The Huang-Jiang-Oblomkov Conjecture at a = 3
parent of · event · claim reported