Terence Tao bekräftar att GPT 5.2 Pro "mer eller mindre autonomt" löste Erdos-problem #728