Это доказательство от chatgpt на самом деле интересно и превосходит то, что я думал, что можно решить одним запросом к gpt pro. Мне интересно, сколько задач Эрдеша последует за теоремой Эрдеша.