Великий тиждень для штучного інтелекту на нижніх межах Рамзі! Це покращує R(3,13), R(4,13), R(4,14), R(4,15) на один кожен. Я б із задоволенням включив щось про класичні числа Рамзі у FrontierMath: Open Problems, але не впевнений, як зробити це достатньо загальним, щоб відповідати нашій планці цікавості.