中国数学家成立AI数学研究联盟

丘成桐牵头的 Yau 数学与人工智能实验室联盟在北京成立，目标是推动人工智能融入数学研究；目前公布的是联盟成立及其研究方向，相关目标尚非已实现成果。 联盟汇集八家机构，计划建立由 1000 多名科学家组成的网络，并开发数学专用 AI 模型，用于生成猜想、形式化证明和构建推理过程更易解释的系统。

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

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