Geometry and topology · Sep 17, 2026
Huang-Jiang-Oblomkov conjecture proved for every torus-knot singularity, with a Lean formalization conditional on two literature inputs
arXiv: Rogers-Ramanujan identities from the geometry of Xᵃ = Yᵇ
Contributors
AxiomProver · Yifeng Huang · Kenny Lau · Ken Ono
AI systems: AxiomProver