Researchers improve lower bounds for some Ramsey numbers using AlphaEvolve | Hacker News Reader