Source authenticated
Fel's Conjecture on Syzygies of Numerical Semigroups
Does the conjectured universal formula for normalized alternating syzygy power sums of numerical semigroup rings hold for every index?
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Feb 3, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Fel's Conjecture on Syzygies of Numerical Semigroups · Fel syzygies
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Lineage and corrections
This event attributed to AxiomProver