AIProofWatch
← Archive

Station: new infinite families for book Ramsey numbers reported

The authors report new infinite families attaining R(B(n−1), B(n)) = 4n−1 for specified parameters, where B(k) is k triangles sharing an edge.

Sources for this record

What was already known

An upper bound and earlier construction families were known.

What changed and why it matters

Extends the reported range of matching constructions.

The AI contribution

Agents found two families; a third required human expert synthesis.

Limitations

Does not cover every n or resolve R(5,5). Preprint; no independent recheck recorded here.

Verification evidence

Evidence labels show what supports the claim. Importance rates its impact if correct.

Author claim

Version 2, §6.13.

Accessible artifact / proof

Linked supporting research record; availability is not independent checking.

Correction and publication history