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?
- Result
- Proved
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Argument
- Field
- Commutative algebra
- Posed by
- Leonid Fel
- Year posed
- —
- Years open
- —
- Solved
- 2026-02-03
- Model
- AxiomProver
- Vendor
- —
- Collaborators
- —
- Verification
- Lean-verified
- Publication
- Preprint
- Significance
- 10 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
Proved for every index by the AxiomProver system.
Verification
Lean-checked with a multi-author audit of the formalized statement.
Source
arXiv:2602.03716 - Fel's conjecture on syzygies of numerical semigroups