Terence Tao potvrzuje, že GPT 5.2 Pro "víceméně autonomně" vyřešil Erdosův problém #728