🔬AlphaEvolve Melhora Números de Ramsey Pela Primeira Vez em 10+ Anos

Os números de Ramsey são notoriamente difíceis — tão difíceis que o matemático Erdős brincava que seria mais fácil invadir a Terra do que calculá-los. Agora, o AlphaEvolve do Google DeepMind melhorou os limites de CINCO números de Ramsey clássicos, alguns pela primeira vez em mais de uma década. --- O interessante é como: ao invés de usar algoritmos de busca feitos por humanos (como sempre foi), o AlphaEvolve descobriu seus próprios procedimentos de busca. É um marco para IA em matemática — e @demishassabis parabenizou o time pessoalmente.