这是AI在Ramsey下界方面的重要一周！这使得R(3,13)、R(4,13)、R(4,14)、R(4,15)各自提高了一。 我很想在FrontierMath: Open Problems中加入一些关于经典Ramsey数的内容，但不确定如何使其足够通用，以达到我们的趣味标准。