陶哲轩与GPT-5Pro跨界合作:11分钟攻克难题,AI助力数学研究开启新模式