数学界无视「30年漏洞」,GPT-5一眼看穿!陶哲轩:AI科研革命开始了,定理,陶哲轩,数学家,gpt,科研革命