Terence Tao, GPT 5.2 Pro'nun "aşağı yukarı özerk" olarak Erdos sorunu #728'i çözdüğünü doğruladı