Tento důkaz od chatgpt je vlastně zajímavý a přesahuje to, co jsem si myslel, že by šlo vyřešit jediným dotazem na GPT Pro. Zajímalo by mě ale, kolik Erdosových problémů bude následovat po Erdosově větě.