Радий поділитися новими досягненнями в AI для математики @GoogleDeepMind. В екстремальній комбінаториці AlphaEvolve допоміг встановити нові нижні межі для П'яти класичних чисел Рамзі — задача настільки складна, що навіть Ердьош коментував її складність. Історично для обчислювального виведення цих меж потрібні були індивідуальні, розроблені людиною алгоритми пошуку. Для багатьох із цих меж найкращі попередні результати мають щонайменше десятирічну давність. AlphaEvolve змінює це, діючи як єдиний мета-алгоритм, який автоматично виявляє процедури пошуку, необхідні для пошуку цих нових меж. 📷