Tämä ChatGPT:n todistus on itse asiassa siisti ja yli sen, mitä ajattelin voivan ratkaista yhdellä kyselyllä gpt prolle. Mietin kuitenkin, kuinka monta Erdos-ongelmaa seuraa Erdos-lause.