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