Source authenticated

Nineteen exact reflective and dihedral Ramsey numbers from Damnjanovic-Dordevic's tables

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.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 13, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: site-confirmed. Publication: announcement. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Nineteen exact reflective and dihedral Ramsey numbers from Damnjanovic-Dordevic's tables · 19 exact $R_{dih}$/$R_{ref}$ values (DD26)

Confidence: Not scored

Registry verification: site confirmed · announcement · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Claude Fable 5
model · ai model contributor · Anthropic

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Nineteen exact reflective and dihedral Ramsey numbers from Damnjanovic-Dordevic's tables

specialist registry · passed

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.

Source ↗

Nineteen exact reflective and dihedral Ramsey numbers from Damnjanovic-Dordevic's tables

witness · pending

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

Source ↗

Damnjanovic and Djordjevic, Computation of small reflective and dihedral Ramsey numbers (Conjecture 4.9)

specialist registry · pending

problem-record link supplied by the VibeMathed registry.

Source ↗

Lineage and corrections

This event attributed to Claude Fable 5

Nineteen exact reflective and dihedral Ramsey numbers from Damnjanovic-Dordevic's tables evidence for this event

Damnjanovic and Djordjevic, Computation of small reflective and dihedral Ramsey numbers (Conjecture 4.9) evidence for this event

VibeMathed record: Nineteen exact reflective and dihedral Ramsey numbers from Damnjanovic-Dordevic's tables evidence for this event

Nineteen exact reflective and dihedral Ramsey numbers from Damnjanovic-Dordevic's tables parent of this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph