formal registration · pending
Artifact ↗Source authenticated
Record Compositions of Alternating Permutations
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: Record Compositions of Alternating Permutations · Record compositions
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
AxiomProver
model · ai model contributor · Axiom Math
Evan Chen
human · human collaborator
Ken Ono
human · human collaborator
Michal Mogielnicki
human · human collaborator
Artifacts and verifiers
lean artifact · pending
Artifact ↗Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Record Compositions of Alternating Permutations →
Supersedes Record Compositions of Alternating Permutations →
This event attributed to Michal Mogielnicki
VibeMathed record: Record Compositions of Alternating Permutations evidence for this event
Record Compositions of Alternating Permutations evidence for this event
This event attributed to Ken Ono
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
Github link to the proof in Lean evidence for this event
Record Compositions of Alternating Permutations parent of this event
GitHub link to the problem statement in Lean evidence for this event
Amdeberhan et al 2026 - Problem statement evidence for this event
This event attributed to AxiomProver
This event attributed to Evan Chen
Act on this frontier