Conjectures 2a and 2b of Kauers and Zeilberger

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

16Significance / 100

1Frontier events

0Verification tasks

0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

combinatoricsAug 11, 2026Significance 16/100Registry: unreviewed

Prior state unknown→proved

VibeMathed recorded: Conjectures 2a and 2b of Kauers and Zeilberger. Consult the linked registry entry for the original report and scope.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Source authenticated

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

Evidence graph