Terence Tao confirme que GPT 5.2 Pro a "plus ou moins de manière autonome" résolu le problème d'Erdős #728