热点事件持续更新
中国数学家成立AI数学研究联盟
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月11日，丘成桐等中国数学家在北京发起并结成AI数学研究联盟，推动人工智能进入数学研究。联盟联合八家机构，计划建立超过1,000名研究者组成的网络，并开发专用模型、可由机器验证的证明以及透明的AI推理系统。联盟同时面临数学界的谨慎态度：包括Terence Tao在内的25位菲尔兹奖得主担忧，AI生成证明可能削弱数学理解，部分人士因此呼吁抵制此类证明。
AI 根据报道生成 · 2 小时前更新
最新进展10月13日 22:37
联盟已成立，并提出建设万人网络、开发专用模型与机器验证证明。报道时间线
沿着报道，了解事件的不同侧面。
10月13日
- The Decoder中国数学界发起AI数学研究联盟，Fields Medal得主担忧AI削弱数学理解
丘成桐等中国数学家周日在北京结成AI数学研究联盟，推动AI进入数学研究。联盟联合八家机构，目标是建立超过1,000名研究者的网络，并开发专用模型、可机器验证证明和透明的AI推理。包括Terence Tao在内的25位Fields Medal得主担忧AI生成证明削弱数学理解，部分人士呼吁抵制此类证明。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。