Source authenticated

Fel's Conjecture on Syzygies of Numerical Semigroups

Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.

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-discovered. 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: Fel's Conjecture on Syzygies of Numerical Semigroups · Fel syzygies

Confidence: Not scored

Registry verification: lean checked · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

AxiomProver
model · ai model contributor

Lineage and corrections

Corrects Fel's Conjecture on Syzygies of Numerical Semigroups →

Supersedes Fel's Conjecture on Syzygies of Numerical Semigroups →

VibeMathed record: Fel's Conjecture on Syzygies of Numerical Semigroups evidence for this event

Fel's Conjecture on Syzygies of Numerical Semigroups parent of this event

Fel's Conjecture on Syzygies of Numerical Semigroups evidence for this event

This event attributed to AxiomProver

Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event

Act on this frontier

Verify, challenge, or extend the result.