The book Ramsey number R(B₈, B₁₀)

R(B_8,B_10) = 37

Model / AI: AutoMath

Kalfus and Lidický determined a book Ramsey number using AutoMath, which found both the problem formulation and the proof strategy; Lean formalization of the upper bound.

Source review pending. Imported from the original notes; linked claims and artifacts have not been re-audited in this restructuring.

• Paper — R(B_8,B_10) = 37