Большая неделя для ИИ по нижним границам Рэмси! Это улучшает R(3,13), R(4,13), R(4,14), R(4,15) на единицу. Я хотел бы включить что-то о классических числах Рэмси в FrontierMath: Открытые проблемы, но не уверен, как сделать это достаточно общим, чтобы соответствовать нашему критерию интересности.