先了解这件事
2026年10月11日,由菲尔兹奖得主丘成桐牵头,清华大学求真书院、上海数学与交叉学科研究院等8家机构联合组建的丘成桐数学与人工智能实验室联盟在清华大学成立,汇聚近千名数学家和科研人员。联盟明确6项重点任务,包括自主研发数学科学专用模型、建设AI辅助数学研究基础设施、为AI可解释性和安全性提供理论支持,并将融合研究拓展至量子计算、生命科学、金融经济等交叉领域。首个数学与AI实验室将落地清华大学求真书院,未来各参与机构将分别在北京、上海、南京、深圳、香港组建实验室。目前尚无该联盟成立后的进一步有证据发展。
AI 根据公开报道生成
最新进展 · 正式报道
数学家与计算学者对话：AI批量解题后验证成新难题事件进展
1 个已确认进展
- 来源：上观新闻
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月12日
上观新闻
数学家与计算学者对话：AI批量解题后验证成新难题
在浦东未来启点社区举办的“数学与计算机科学×数字未来”跨界对话上，数学家与计算领域学者讨论了AI对数学研究的冲击。中科院计算所副所长包云岗提出，OpenAI一口气给出722个数学难题的答法，但没有足够数学家验证其正确性，他认为一项任务是否适合交给AI，验证的难易程度更具决定性。北京大学董彬则认为数学研究不只是证明开放性问题，提出问题与构建新理论体系同样重要。会上还提到，由丘成桐牵头、清华大学求真书院等8家机构联合组建的丘成桐数学与人工智能实验室联盟于11日成立。
澎湃新闻
丘成桐数学与人工智能实验室联盟在清华大学成立
2026年10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，由菲尔兹奖得主丘成桐牵头，联合求真书院、丘成桐数学科学中心等八家数学研究机构组建。联盟首个实验室落地清华求真书院，未来将在北京、上海、南京、深圳、香港5地陆续组建数学人工智能实验室，并明确研发数学科学专用模型、建设AI辅助数学研究基础设施等六项重点任务。
上观新闻
丘成桐牵头8家机构成立数学与AI实验室联盟，将自研数学专用模型
10月11日，由菲尔兹奖得主丘成桐牵头，清华大学求真书院、上海数学与交叉学科研究院等8家机构联合组建的丘成桐数学与人工智能实验室联盟在清华大学成立，汇聚近千名数学家和科研人员。联盟明确6项重点任务，包括自主研发数学科学专用模型、建设AI辅助数学研究基础设施、为AI可解释性和安全性提供理论支持，并将融合研究拓展至量子计算、生命科学、金融经济等交叉领域。首个数学与AI实验室将落地清华大学求真书院，未来各参与机构将分别在北京、上海、南京、深圳、香港组建实验室。