丘成桐发起成立数学与人工智能实验室联盟，聚焦数学推理能力提升

10月11日，丘成桐数学与人工智能实验室联盟成立仪式在清华大学求真书院举行。该联盟由清华大学讲席教授、求真书院院长丘成桐发起，联合多家数学科研机构，旨在汇聚国内数学与人工智能领域的科研力量，推动数学研究与人工智能深度融合。

丘成桐在致辞中表示，人工智能快速发展正给数学及其他基础学科带来巨大冲击，数学家不能缺席人工智能研究。他强调，人工智能的研发不能仅依靠工程技术，还需要有深厚学术积累的数学家参与，以进一步提升机器的思考与推理能力。

丘成桐认为，人工智能能够汇集并学习人类长期积累的知识，并在此基础上不断提升能力，这种变化可能深刻改变未来的科学研究方式。各高校和科研机构如果分散开展研究，难以充分发挥数学人才的整体优势，因此需要通过联盟推动跨机构、跨学科协同研究。

据介绍，联盟将汇聚千余名科研人员，聚焦数学科学专用大模型、人工智能辅助数学证明等方向开展研究，推动学术资源共享和联合攻关。丘成桐希望，未来能有更多数学家共同参与，以数学学科的力量推动人工智能不断发展。