丘成桐组建千人AI数学实验室联盟

2026年10月13日，BestBlogs.dev报道，丘成桐在清华大学成立数学与人工智能实验室联盟，计划汇聚约千名科研人员，开发面向数学研究的专用模型，用于辅助猜想发现、形式化证明和可解释推理系统。他将AI对数学的冲击形容为海啸，主张数学家积极拥抱技术，同时认为真正的原创仍来自人类的直觉与想象力。报道提到，此前菲尔兹奖得主陶哲轩支持人类数学协会声明，呼吁数学界抵制OpenAI，担心AI生成答案过快会取代数学家的思考过程并阻碍人才培养。目前该联盟的具体进展尚未见后续报道。

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

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