Stor uke for AI på Ramseys nedre grenser! Dette forbedrer R(3,13), R(4,13), R(4,14), R(4,15) med én hver. Jeg skulle gjerne inkludert noe om klassiske Ramsey-tall i FrontierMath: Open Problems, men er usikker på hvordan jeg kan gjøre det generelt nok til å møte vår interessanthetsgrense.