ИИ Aristotle и AlphaEvolve вместе с математиками решили задачу, которая существовала с 1975 года
habr.comПроблема Эрдёша #1026, впервые сформулированная в 1975 году, получила строгую интерпретацию на сайте задач Эрдёша в сентябре 2025-го — и в декабре была закрыта комбинацией онлайн-дискуссий, AI-инструментов и поиска литературы.
Знаменитый математик Теренс Тао опубликовал подробный разбор того, как это произошло, на своём блоге 8 декабря.В версии Тао это игра: Алиса раскладывает монеты по n кучкам, Боб выбирает монотонную подпоследовательность кучек и забирает их.
