Researchers improve lower bounds for some Ramsey numbers using AlphaEvolve