Stor vecka för AI på Ramseys nedre gränser! Detta förbättrar R(3,13), R(4,13), R(4,14), R(4,15) med en var. Jag skulle gärna vilja inkludera något om klassiska Ramsey-siffror i FrontierMath: Open Problems, men är osäker på hur jag ska göra det tillräckligt allmänt för att uppfylla vår intressanthetsmätare.