Bukti oleh chatgpt ini sebenarnya rapi dan melampaui apa yang saya pikir dapat diselesaikan dengan satu kueri ke gpt pro. Saya bertanya-tanya berapa banyak masalah Erdos yang akan diikuti oleh teorema Erdos.