丘成桐数学与人工智能实验室联盟在清华大学成立

清华大学成立了丘成桐数学与人工智能实验室联盟，旨在推动AI与数学的深度融合，并计划攻关数学专用大模型、AI辅助证明与猜想发现等领域。 该联盟已集结超过1000位数学家和科研工作者，联合多家机构进行资源整合。联盟称，其研究将利用AI辅助探索证明策略、简化计算并为科学家提供思路启发。

AI 根据报道生成 · 57 分钟前更新

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