Proves R(B_8, B_10) = 37 via an AI-assisted short proof with a Lean formalization of the upper bound.
Jeremykalfus/automath: Initial beta, 2026
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CO 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
An automated proof that R(B_8,B_10)=37
Proves R(B_8, B_10) = 37 via an AI-assisted short proof with a Lean formalization of the upper bound.