Terence Tao bestätigt, dass GPT 5.2 Pro das Erdos-Problem #728 "mehr oder weniger autonom" gelöst hat.