Cette preuve par chatgpt est en fait géniale et au-delà de ce que je pensais pouvoir être résolu par une seule requête à gpt pro. Je me demande cependant combien de problèmes d'Erdős suivront d'un théorème d'Erdős.