lean artifact · pending
Artifact ↗Source authenticated
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.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Aug 6, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-assisted. Editorial metadata: CC BY 4.0; linked content retains its own rights.
Canonical aliases: The Huang-Jiang-Oblomkov Conjecture at a = 3 · HJO conjecture, a=3
Confidence: Not scored
Registry verification: lean checked · preprint · partial
Attribution
VibeMathed
registry · event recorded by
Kenny Lau
human · human collaborator
Ken Ono
human · human collaborator
AxiomProver
model · ai model contributor · Axiom Math
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Ken Ono
This event attributed to Kenny Lau
This event attributed to AxiomProver
Proves the a = 3 layer; the conjecture is layered in a and remains open for larger a. parent of this event
AxiomProver Lean certificate evidence for this event
VibeMathed record: The Huang-Jiang-Oblomkov Conjecture at a = 3 evidence for this event
The Huang-Jiang-Oblomkov Conjecture at a = 3 evidence for this event
The Huang-Jiang-Oblomkov Conjecture at a = 3 parent of this event
Act on this frontier