丘成桐数学与人工智能实验室联盟在清华大学成立，发布10余项重点成果

（来源：千龙网）　　不久前，OpenAI在GitHub上一次性公开了722篇由内部AI模型生成的数学手稿，涉及372个成果组，涵盖数论、几何、代数、理论计算机科学等多个领域，其中甚至包括多道长期困扰数学家的著名开放难题。消息一出，舆论哗然。不少公众讨论：未来是否还需要研究数学？AI是不是要代替数学家？　　日前，丘成桐数学与人工智能实验室联盟在清华大学成立。面对外界的疑问，丘成桐、席南华、何旭华、田野等数学家在清华大学求真书院回应。数学家们提到，AI只能探索已有问题，无法替代人类数学家的思考，未来需找寻AI与数学家的合作机制。　　“就像‘海啸’来了，我们该如何应对？”丘成桐说。　　AI对数学研究...

（来源：谷粉学术）　　从清华大学获悉，2026年10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。丘成桐数学与人工智能实验室联盟成立现场。　　联盟由菲尔兹奖得主、清华大学讲席教授丘成桐院士牵头，联合清华大学求真书院、清华大学丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等八家数学研究机构共同组建，旨在以人工智能加速数学与交叉学科研究，以数学理论创新支撑人工智能发展，服务国家高水平科技自立自强战略。　　当前，人工智能基础模型已成为全球科技竞争的核心领域。...

原标题：丘成桐：面对AI冲击无需过度焦虑，我们必须在浪潮中冲浪，而不是躲起来　　人工智能（AI）时代，机遇与挑战并存。10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动AI与数学深度融合。　　联盟牵头人、清华求真书院院长丘成桐在致辞中表示，当前既是令学者兴奋的时代，也是充满挑战的时代。人工智能快速发展，正给数学及其他基础学科带来巨大冲击，其影响之深、变化之快，是他多年来从事科研工作未曾遇到过的。如何正确认识和应对人工智能带来的变化，对我国基础科学发展至关重要。　　“技术发...

（来源：千龙网）　　10月11日，丘成桐数学与人工智能实验室联盟成立仪式在清华大学举行。联盟由菲尔兹奖得主、清华大学讲席教授丘成桐院士牵头，联合八家一流数学研究机构共同组建，旨在以人工智能加速数学与交叉学科研究，以数学理论创新支撑人工智能发展，服务国家高水平科技自立自强战略。10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。联盟供图　　关注1　　千名数学家将研发人工智能数学科学模型　　当前，人工智能基础模型已成为全球科技竞争的核心领域。今年以来，人工智能在数学研究领域取得一系列突破性进展，引发国际数学界广泛关注与深入讨论。　　在此背景下，丘成桐牵头组织国内一批顶尖数学研究机构，组建丘...

昨天，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动AI与数学深度融合。正如数学家所言，面对AI的冲击，我们无需过度焦虑。“机器创造能力比不上人类，人类有喜怒哀乐，有最前沿的创造能力。人工智能不懂开创数学的前沿，所以不用怕。”丘成桐说，AI可以生成海量证明，却无法像人类数学家一样提出真正有洞察力的新问题，更无法拥有人类在长期研究中沉淀的数学直觉——这种融合了经验、审美和创造力的独特能力，始终是人类研究者不可替代的核心优势。（北京日报） ...

记者丨陈归辞编辑丨卜羽勤近半年来，AI大模型接连破解出百年数学难题，令顶尖数学家们也感受到前所未有的震撼冲击。9月，OpenAI宣布，其模型仅用约88小时便解决了“千禧年大奖难题”之一的纳维-斯托克斯方程存在性与光滑性问题。上周，该公司又一次性公开了722篇数学研究手稿，内容涵盖数论、代数几何、理论计算机科学、流体力学与统计物理等前沿领域。从广泛吸纳全球数学界反馈并形成《人工智能与数学莱顿宣言》、联名签署公开宣言《人工智能在数学中的严重错位》，到一些数学家联名呼吁停止与AI公司合作，再到数学家发起打造数学模型的计划……数学界正笼罩在惊惧与兴奋交织的复杂情绪中，面对这场AI险潮。“这半年来的冲击...

人工智能（AI）时代，机遇与挑战并存。10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动AI与数学深度融合。　　联盟牵头人、清华求真书院院长丘成桐在致辞中表示，当前既是令学者兴奋的时代，也是充满挑战的时代。人工智能快速发展，正给数学及其他基础学科带来巨大冲击，其影响之深、变化之快，是他多年来从事科研工作未曾遇到过的。如何正确认识和应对人工智能带来的变化，对我国基础科学发展至关重要。　　“技术发展是助力，也暗藏冲击”　　联盟成立仪式上，多位数学家表达了对AI时代数学学科发展...

IT之家 10 月 12 日消息，据北京日报报道，10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动 AI 与数学深度融合。据IT之家此前报道，OpenAI 本月初一次性公开了 722 篇数学研究手稿，内容涵盖数论、代数几何、理论计算机科学、流体力学与统计物理等前沿领域，解决了多项长期存在的数学难题，给数学界带来了巨大的冲击。联盟牵头人、清华求真书院院长丘成桐在联盟成立仪式上谈及了对 AI 时代数学学科发展的看法，“这倒逼我们重新思考数学的本质价值，也要求我们必须...

近日，OpenAI公司在代码托管网站GitHub上一次性放出了722篇数学手稿，人工智能在数学研究中的进展再次引发关注。　　当AI能够批量产出答案，它给数学带来的是冲击还是机遇？数学界应该如何应对？10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。联盟成立仪式上，多位数学家分享了对AI时代数学学科发展的观点。10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。联盟供图　　AI批量产出数学成果，和学术规范有冲突　　9月8日，人工智能公司OpenAI宣布用1万个智能体，花了88小时完成了Navier-Stokes千禧年难题证明。此后，邓煜、陶哲轩等25位菲尔兹奖得主联合发布了一份...

AI（人工智能）时代，机遇与挑战并存。昨天，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动AI与数学深度融合。丘成桐数学与人工智能实验室联盟揭牌仪式昨天在清华大学举行。技术发展是助力，也暗藏冲击联盟成立仪式上，多位数学家表达了对AI时代数学学科发展的看法，“冲击”成为关键词。“当下，是科研学者最好的时代，也是最需要警醒的时代。”联盟牵头人、清华求真书院院长丘成桐认为，技术的飞速发展，既是科研学者的强大助力，也暗藏冲击。有学者提到，不久前，OpenAI（美国开放人工智能研究中心）一次...

澎湃新闻从清华大学获悉，2026年10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。联盟由菲尔兹奖得主、清华大学讲席教授丘成桐院士牵头，联合清华大学求真书院、清华大学丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等八家数学研究机构共同组建，旨在以人工智能加速数学与交叉学科研究，以数学理论创新支撑人工智能发展，服务国家高水平科技自立自强战略。丘成桐数学与人工智能实验室联盟成立现场。主办方 供图当前，人工智能基础模型已成为全球科技竞争的核心领域。今年以来，...

（来源：上观新闻）从挑战数学奥赛到攻克数学界经典难题，人工智能（AI）正加速进入数学前沿领域。面对这一变革，中国数学界正加速整合力量，探索新的科研方式。10月11日，由菲尔兹奖得主、清华大学讲席教授丘成桐院士牵头，清华大学求真书院、上海数学与交叉学科研究院等8家机构联合组建的丘成桐数学与人工智能实验室联盟在清华大学成立。联盟汇聚近千名数学家和科研人员，将自主研发数学科学专用模型，推动数学与AI深度融合、双向赋能。近年来，AI在数学领域的进展令人瞩目。特别是上周，OpenAI集中公开了700余份由内部模型生成的研究文稿，涉及多个重大数学问题。尽管其结论仍待进一步核验，但AI对数学研究方式与学术生...

10月11日，丘成桐数学与人工智能实验室联盟成立仪式在清华大学举行。联盟由菲尔兹奖得主、清华大学讲席讲授丘成桐院士牵头，联合八家一流数学研究机构共同组建，旨在以人工智能加速数学与交叉学科研究，以数学理论创新支撑人工智能发展，服务国家高水平科技自立自强战略。　　千名数学家将研发人工智能数学科学专用模型　　当前，人工智能基础模型已成为全球科技竞争的核心领域。今年以来，人工智能在数学研究领域取得一系列突破性进展，引发国际数学界广泛关注与深入讨论。　　在此背景下，丘成桐牵头组织国内一批顶尖数学研究机构，组建丘成桐数学与人工智能实验室联盟。　　联盟将集中攻关人工智能与数学交叉领域前沿问题，为教育科技人才...

转自：京报网_北京日报官方网站 【#AI正在重塑数学人才培养模式#】#学生用AI一个月提升算法效率千倍#AI（人工智能）时代，机遇与挑战并存。10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动AI与数学深度融合。面对AI的冲击，我们的确无需过度焦虑。“机器创造能力比不上人类，人类有喜怒哀乐，有最前沿的创造能力。人工智能不懂开创数学的前沿，所以不用怕。”丘成桐说，AI可以生成海量证明，却无法像人类数学家一样提出真正有洞察力的新问题，更无法拥有人类在长期研究中沉淀的数...

1、“在AI浪潮中冲浪，而不是躲起来”，多位数学家回应AI时代的数学机遇与挑战　　AI（人工智能）时代，机遇与挑战并存。10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动AI与数学深度融合。“技术发展是助力，也暗藏冲击”联盟成立仪式上，多位数学家表达了对AI时代数学学科发展的看法，“冲击”成为共同的关键词。“当下，是科研学者最好的时代，也是最需要警醒的时代。”联盟牵头人、清华求真书院院长丘成桐认为，技术的飞速发展，既是科研学者的强大助力，也暗藏冲击。　　http://k....

10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，致力于推动AI（人工智能）与数学深度融合。联盟发布了10余项“AI+数学”重点成果和研究方向，涉及退化阿诺德猜想问题、极小修改的有界性、7维同伦球面等科学问题，涉及几何、量子计算、生命科学等方向。　　北京日报客户端记者注意到，AI在这些成果的产出中，充当着“辅助者”的角色。　　其中，在清华大学丘成桐数学科学中心、上海数学与交叉学科研究院开展的“7维同伦球面：所有光滑结构均可以承载处处为正的截面曲”研究中，AI用于辅助探索证明策略、简化计算；计算代数系统用于核验精确恒等式、区间界、生成可复现的计算证书；数学家负责构思与证明，核验结果、完...