Velký týden pro AI na Ramseyho dolních hranicích! To zlepšuje R(3,13), R(4,13), R(4,14) a R(4,15) o jeden kus. Rád bych do FrontierMath: Open Problems zahrnul něco o klasických Ramseyho číslech, ale nejsem si jistý, jak to udělat dostatečně obecné, aby splnilo naši úroveň zajímavosti.