AI 摘要
AlphaEvolve 自动发现搜索算法,将 5 个经典 Ramsey 数的下界推进至十余年来首次更新。此前该领域依赖人工设计专门算法,此次突破标志着 AI 在极难组合数学问题上的重大进展。
Ramsey numbers are notoriously hard. Amazing to see AlphaEvolve improve bounds for 5 classical Ramsey numbers - some for the first time in 10+ years - by discovering search procedures itself. A big milestone in AI for maths - congrats to the team!
Happy to share new progress in AI for Maths @GoogleDeepMind . In extremal combinatorics, AlphaEvolve has helped establish new lower bounds for FIVE classical Ra...