2026-10-13APPSO丘成桐在清华组建千人「AI数学军团」,隔空回应陶哲轩:他不代表整个数学界在推动前沿数学研究的能力上,国内模型与美国前沿模型仍有明显差距科学与教育人工智能大模型形式化证明数学教育数学研究稍后再读