Terence Tao bevestigt dat GPT 5.2 Pro "meer of minder autonoom" het Erdos-probleem #728 heeft opgelost