APPLIED AI
Штурм множеств без прогрессий силами ИИ: реестр того, что зашло в тупик
ИИ-ассистент работал над двумя задачами о множествах без арифметических прогрессий: аргументом для задачи о сумме обратных величин и квазиполиномиальной оценкой для каждой фиксированной длины прогрессии.













