Detta bevis från ChatGPT är faktiskt häftigt och bortom vad jag trodde kunde lösas med en enda fråga till GPT Pro. Jag undrar dock hur många Erdos-problem som kommer att följa av en sats av Erdos.