AlphaEvolve Moved Five Ramsey Numbers. One Hadn't Moved Since 2005 | Hacker News Reader