Ten dowód przez chatgpt jest naprawdę fajny i przekracza to, co myślałem, że można rozwiązać za pomocą jednego zapytania do gpt pro. Zastanawiam się jednak, ile problemów Erdos będzie następować po twierdzeniu Erdosa.