Wielki tydzień dla AI w kwestii dolnych granic Ramseya! To poprawia R(3,13), R(4,13), R(4,14), R(4,15) o jeden każdy. Chciałbym dodać coś o klasycznych liczbach Ramseya w FrontierMath: Otwarte Problemy, ale nie jestem pewien, jak to uogólnić, aby spełniało nasze kryteria interesującości.