GPT 5.2 Pro a résolu le problème d'Erdős (#281).