ラムジーの下限に関するAIにとって大きな今週です!これによりR(3,13)、R(4,13)、R(4,14)、R(4,15)がそれぞれ1ずつ改善されます。 FrontierMath: Open Problemsにクラシックなラムジー数について何か入れたいのですが、興味度の基準を満たすために一般化する方法がわかりません。