Grote week voor AI over Ramsey-lagergrenzen! Dit verbetert R(3,13), R(4,13), R(4,14), R(4,15) met elk één. Ik zou graag iets willen opnemen over klassieke Ramsey-getallen in FrontierMath: Open Problemen, maar ik weet niet goed hoe ik het algemeen genoeg kan maken om aan onze interessantheidsnorm te voldoen.