丘成桐在清华组建千人AI数学军团，隔空回应陶哲轩观点

丘成桐在清华成立数学与AI实验室联盟，计划汇聚约千名科研人员开发数学专用模型。 联盟针对国内前沿模型与美国差距，旨在建立可共享形式化数学库及算力平台，以探索AI辅助猜想发现与形式化证明。