Source authenticated

Spahn and Zeilberger's Third Challenge: Holonomicity of the Restricted Permutation Counts

Registry resolution: candidate. 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: unreviewed. 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: Spahn and Zeilberger's Third Challenge: Holonomicity of the Restricted Permutation Counts · Spahn–Zeilberger holonomicity

Confidence: Not scored

Registry verification: unreviewed · preprint · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Claude
model · ai model contributor · Anthropic

Jaideep Sai Padhi
human · human collaborator

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Spahn and Zeilberger's Third Challenge: Holonomicity of the Restricted Permutation Counts

specialist registry · passed

Checked by this site on 21 August 2026 against the paper (arXiv:2608.11290v2): the division of labour is verbatim as quoted, all five challenges are reported fully solved, and two further problems are reported only partial and are NOT entered here. The paper states a four-principle verification protocol that distinguishes proved, machine-verified and supported claims, and ships code and verification scripts. Those scripts were not re-run here. Days-old preprint, no independent review.

Source ↗

The Five-Dimensional Geode Challenge of Amdeberhan, Kauers and Zeilberger

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Spahn & Zeilberger 2022 - Problem statement

specialist registry · pending

problem-record link supplied by the VibeMathed registry.

Source ↗

Github repo of the solution

code · pending

code link supplied by the VibeMathed registry.

Source ↗

Artifacts and verifiers

Github repo of the solution

code · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

Corrects Spahn and Zeilberger's Third Challenge: Holonomicity of the Restricted Permutation Counts →

Supersedes Spahn and Zeilberger's Third Challenge: Holonomicity of the Restricted Permutation Counts →

Spahn & Zeilberger 2022 - Problem statement evidence for this event

This event attributed to Claude

This event attributed to Jaideep Sai Padhi

Spahn and Zeilberger's Third Challenge: Holonomicity of the Restricted Permutation Counts parent of this event

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

VibeMathed record: Spahn and Zeilberger's Third Challenge: Holonomicity of the Restricted Permutation Counts evidence for this event

Github repo of the solution evidence for this event

The Five-Dimensional Geode Challenge of Amdeberhan, Kauers and Zeilberger evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph