丘成桐等数学家成立AI数学联盟

菲尔兹奖得主丘成桐与多位中国顶尖数学家成立“丘成桐数学与人工智能实验室联盟”，联合 8 家机构，目标建成超过 1,000 名研究者的网络，以推动 AI 用于数学研究。 在西方，25 位菲尔兹奖得主担忧 AI 生成证明削弱数学理解，部分人呼吁抵制这类证明；中国方面则计划开发专用模型、机器可验证证明和透明 AI 推理。

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

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