3 ms·Researchers improve lower bounds for some Ramsey numbers using AlphaEvolve12 points by 1024core 7mo ago