先了解这件事
2026年10月11日,丘成桐数学与人工智能实验室联盟在清华大学成立,由菲尔兹奖得主丘成桐牵头,联合求真书院、丘成桐数学科学中心等八家数学研究机构组建。联盟首个实验室落地清华求真书院,未来将在北京、上海、南京、深圳、香港5地陆续组建数学人工智能实验室,并明确研发数学科学专用模型、建设AI辅助数学研究基础设施等六项重点任务。另有报道称,该联盟联合八家机构,目标建成超1000名研究者的网络,丘成桐警告中国正落后于美国;西方数学界则普遍存疑,25位菲尔兹奖得主包括Terence Tao和Peter Scholze担忧AI生成的证明侵蚀数学理解、让研究者依赖无法跟进的工具,部分人呼吁抵制AI生成证明。中国方面希望构建专用模型、可机器验证的证明以及透明的AI推理。
AI 根据公开报道生成
最新进展 · 正式报道
丘成桐在北京发起数学与 AI 联盟，西方数学家担忧 AI 削弱理解力事件进展
1 个已确认进展
- 来源：The Decoder
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月13日
The Decoder
丘成桐在北京发起数学与 AI 联盟，西方数学家担忧 AI 削弱理解力
菲尔兹奖得主丘成桐与多位中国数学家周日在京发起“丘成桐数学与人工智能实验室联盟”，联合八家机构，目标建成超 1000 名研究者的网络，丘成桐警告中国正落后于美国。西方数学界则普遍存疑，25 位菲尔兹奖得主包括 Terence Tao 和 Peter Scholze 担忧 AI 生成的证明侵蚀数学理解、让研究者依赖无法跟进的工具，部分人呼吁抵制 AI 生成证明。中国方面希望构建专用模型、可机器验证的证明以及透明的 AI 推理。
10月12日
上观新闻
数学家与计算学者对话：AI批量解题后验证成新难题
在浦东未来启点社区举办的“数学与计算机科学×数字未来”跨界对话上，数学家与计算领域学者讨论了AI对数学研究的冲击。中科院计算所副所长包云岗提出，OpenAI一口气给出722个数学难题的答法，但没有足够数学家验证其正确性，他认为一项任务是否适合交给AI，验证的难易程度更具决定性。北京大学董彬则认为数学研究不只是证明开放性问题，提出问题与构建新理论体系同样重要。会上还提到，由丘成桐牵头、清华大学求真书院等8家机构联合组建的丘成桐数学与人工智能实验室联盟于11日成立。
澎湃新闻
丘成桐数学与人工智能实验室联盟在清华大学成立
2026年10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，由菲尔兹奖得主丘成桐牵头，联合求真书院、丘成桐数学科学中心等八家数学研究机构组建。联盟首个实验室落地清华求真书院，未来将在北京、上海、南京、深圳、香港5地陆续组建数学人工智能实验室，并明确研发数学科学专用模型、建设AI辅助数学研究基础设施等六项重点任务。