3 ms·AlphaEvolve Moved Five Ramsey Numbers. One Hadn't Moved Since 20052 points by vinodpandey7 7mo ago