Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Greg Burnham
Большая неделя для ИИ по нижним границам Рэмси! Это улучшает R(3,13), R(4,13), R(4,14), R(4,15) на единицу.
Я хотел бы включить что-то о классических числах Рэмси в FrontierMath: Открытые проблемы, но не уверен, как сделать это достаточно общим, чтобы соответствовать нашему критерию интересности.
11 мар., 21:44
Рад поделиться новыми достижениями в области ИИ для математики @GoogleDeepMind .
В экстремальной комбинаторике AlphaEvolve помог установить новые нижние границы для ПЯТИ классических чисел Рамси - задачи, настолько сложной, что даже Эрдиш комментировал её трудность.
Исторически, вычислительное получение этих границ требовало индивидуально разработанных человеческих алгоритмов поиска. Для многих из этих границ лучшие предыдущие результаты как минимум десятилетней давности. AlphaEvolve меняет это, действуя как единый мета-алгоритм, который автоматически находит процедуры поиска, необходимые для нахождения этих новых границ. 📷
86
Топ
Рейтинг
Избранное