数学大模型

10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型、AI 辅助数学证明等方向发起攻关，推动 AI 与数学深度融合。联盟已集结超 1000 位数学家，联合多家机构...