Nineteen exact reflective and dihedral Ramsey numbers from Damnjanovic-Dordevic's tables
resolvedconfidence 70%
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Precise statement
Sixteen previously unknown exact values, plus three that confirm the sibling theorem entries' predictions computationally, across five ordered-pattern families ($P^{alt}$, $S^{sc}$, $C^{mon}$, $M^{nest}$, $K$) under dihedral and reflective group actions - each closing one open cell of Damnjanovic-Dordevic (arXiv:2607.06817, Tables 3-13). Five sit in cells the paper left without a conjecture. Full per-value table with regeneration commands, certificate hashes and referee verdicts in the evidence repo.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement
fidelity, correctness, priority, or novelty.
What AI did
Claude Fable 5
AI agents built the census of open cells from the paper's tables, encoded every instance using the authors' own vendored generator, orchestrated kissat solving with drat-trim verification, and refereed all nineteen values through six independent agent reviews — each referee wrote its own encoder from the definitions, zero shared code with the producing leg or each other. Human direction was limited to run design, operational supervision, and posting.
Half-reproduced by this site on 14 August 2026, referee code, witnesses and CNFs deliberately unread - and this note is precise about which half. All 19 instances regenerate from the vendored DD26 generator and match their pinned SHA-256 byte for byte. All 19 LOWER bounds were established independently: the five pattern families, both group actions and the monotone-embedding notion were implemented here from the DD26 paper's definitions alone, a witness coloring at $n-1$ was found for every value, and each witness was re-verified by a brute-force embedding search sharing no code with the encoder. The UNSAT side is where this site's reach ended: the instances are genuinely hard (the submitter's smallest took kissat nine minutes; this site's solver decided none within a 50-minute-per-instance budget), so the upper bounds rest on the bundle's own certificates - whose 19 drat-trim logs all read "s VERIFIED" with parsed dimensions matching the regenerated CNFs exactly - except for the three K-family cells, whose values are implied by the two sibling theorem entries this site verified in depth on 13 August. Every cell with a DD26 conjecture matches that conjecture's formula, checked by hand. Not covered: no human peer review - produced and refereed by AI agents in one pipeline (six referee legs, each with its own encoder); the Lean file is a statement anchor with zero proofs, by design. Four further cells await their final referee leg and are, correctly, not claimed.
GitHub repo (SAT certificates + six independent referee legs + Lean statement anchor)
Nineteen individual exact values, each decided by SAT certificate: unsatisfiable at the claimed $n$, witnessed satisfiable at $n-1$. They close cells in DD26's Tables 3-13 but settle no infinite family - the sibling entries do that for the $K$ column. The three overlap cells are $R_{dih}(P_4^{alt},K_6)=16$, $R_{dih}(P_3^{alt},K_9)=17$ and $R_{dih}(P_9^{alt},K_3)=17$, each an instance of a sibling theorem; the remaining sixteen stand on their own certificates. Four further cells passed the producing solver but await their final referee leg and are not claimed. Open: every other cell of DD26's tables, all cyclic-action and online-Ramsey cells.
Known method families
computation (source-reported)
Source-reported tools: computation.
Independent: unknown · difference confidence: 0
What remains uncertain
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.
VibeMath has not independently verified the mathematical claim.
AI-attempt independence and training-data exposure are unknown unless explicitly documented.
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.