丘成桐牵头成立数学与AI实验室联盟

IT时代网10月12日消息，据Chosun报道，“丘成桐数学与人工智能实验室联盟”10月11日在北京成立。该联盟由清华大学丘成桐数学科学中心主任、菲尔兹奖得主丘成桐牵头，联合国内八家主要科研与教育机构，目标是搭建连接千余名中国数学家的协作网络。

联盟的首要方向是开发专门面向数学研究的AI：利用AI发现“某个数学规律可能成立”式的新猜想，把证明过程转化为计算机可严格验证的形式，并厘清AI得出结论的路径，让结果对人类更可解释。

丘成桐表示，一年前他还不认为AI能有这么强大，但过去半年到一年情况发生了急剧变化，他已看到AI攻克数学家长期束手无策的问题。他强调，AI进入数学的势头如海啸般涌来，中国数学家不应回避AI，而应联合起来积极加以利用。他还提到，中国在借助AI推进前沿科学方面仍落后于美国，超过一千名中国数学家必须团结起来，开发并使用为数学研究量身定制的AI。

这一表态与部分西方数学家的谨慎立场形成对照。此前，本站曾报道过陶哲轩谈AI数学：警惕无人能消化的证明，他曾公开表达对AI快速产出未验证证明的担忧。丘成桐则回应称，陶哲轩是一位杰出的数学家，但他不能代表整个数学界，争论不应阻碍数学家与AI合作；鉴于中美之间的差距，特别是在前沿科学领域，必须加快AI发展，以在数学与物理上取得突破。

编辑：林一舟