丘成桐领衔成立数学与人工智能实验室联盟

据 The Decoder 10月13日报道，菲尔兹奖得主丘成桐等中国数学家在北京发起“丘成桐数学与人工智能实验室联盟”，联合八家机构，目标是建成超过1000名研究者的网络，推动人工智能进入数学研究。与此同时，包括陶哲轩、彼得·舒尔策在内的25位菲尔兹奖得主担忧，AI生成的证明可能侵蚀数学理解，使研究者依赖自身无法跟进的工具；部分学界人士呼吁抵制AI生成的证明。报道呈现了联盟推动AI应用与数学界对其影响的担忧，尚未说明研究者网络目标的实际完成情况。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。