Tuần này thật lớn cho AI về các giới hạn dưới của Ramsey! Điều này cải thiện R(3,13), R(4,13), R(4,14), R(4,15) mỗi cái một. Tôi rất muốn bao gồm một cái gì đó về các số Ramsey cổ điển trong FrontierMath: Các Vấn Đề Mở, nhưng không chắc làm thế nào để làm cho nó đủ chung để đáp ứng tiêu chuẩn thú vị của chúng ta.