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
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-assisted. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their 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
AxiomProver
model · ai model contributor · Axiom Math
Kenny Lau
human · human collaborator
Ken Ono
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects The Huang-Jiang-Oblomkov Conjecture at a = 3 →
Supersedes 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. parent of this event
Huang, Jiang & Oblomkov 2026 - Problem statement evidence for this event
This event attributed to Kenny Lau
The Huang-Jiang-Oblomkov Conjecture at a = 3 evidence for this event
The Huang-Jiang-Oblomkov Conjecture at a = 3 parent of this event
VibeMathed record: The Huang-Jiang-Oblomkov Conjecture at a = 3 evidence for this event
This event attributed to Ken Ono
AxiomProver Lean certificate evidence for this event
This event attributed to AxiomProver
Act on this frontier