Minggu besar untuk AI di batas bawah Ramsey! Ini meningkatkan R(3,13), R(4,13), R(4,14), R(4,15) masing-masing satu. Saya ingin memasukkan sesuatu tentang angka Ramsey klasik di FrontierMath: Open Problems, tetapi tidak yakin bagaimana membuatnya cukup umum untuk memenuhi standar daya tarik kami.