Researchers improve lower bounds for some Ramsey numbers using AlphaEvolve (arxiv.org)