人工智能·深度报道

丘成桐数学与人工智能实验室联盟成立,聚焦数据科学助力人工智能发展

数据交易网4

丘成桐数学与人工智能实验室联盟在清华大学成立,汇聚千余名科研人员,聚焦数学科学专用大模型与AI辅助数学证明等方向。

10月11日,丘成桐数学与人工智能实验室联盟在清华大学求真书院揭牌。

联盟由清华大学讲席教授、求真书院院长丘成桐发起,联合清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院(深圳)、香港中文大学致真交叉数学科学院等机构共同组建。

据大会介绍,联盟将汇聚超过1000名科研人员,聚焦数学科学专用大模型研发、人工智能辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等方向,推动学术资源共享和联合攻关。

丘成桐在成立仪式上表示,当前既是令学者兴奋的时代,也是充满挑战的时代。人工智能的快速发展给数学及其他基础学科带来了巨大冲击,其影响之深、变化之快,是他多年来从事科研工作未曾遇到过的。

他认为,人工智能能够汇集并学习人类长期积累的知识,并在此基础上不断提升能力,这种变化可能深刻改变未来的科学研究方式。他用“海啸”形容这一冲击,称“我们要冲浪,而不是躲起来”,并认为如果合理使用人工智能,学问、成果和影响将是划时代的。

丘成桐特别强调,人工智能的研发不能仅依靠工程技术,还需要有深厚学术积累的数学家积极参与,工程技术能够帮助改善机器的运行和功能,而进一步提升机器的思考与推理能力,同样离不开基础学科研究者的贡献。

国际数学联盟副主席、香港数学会会长何旭华则指出,OpenAI发布的数学手稿没有经过认真检查,不符合学术规范,但其中很多成果值得吸收,需要数学家投入大量精力整理和判断正确性,遗留了非常庞大的工作量。

联盟的成立意味着国内数学界开始以组织化方式回应这一浪潮。丘成桐希望未来有1000名数学家共同参与相关研究,以数学学科的力量推动人工智能不断发展。

北京雁栖湖应用数学研究院副院长刘正伟提到,过去的数学教育侧重训练计算与解题能力,这些工作AI现在可以完成得更快更好,对学生的培养标准必须提升到全新维度。清华大学丘成桐数学科学中心副教授徐文强认为,年轻学子应保持好奇心与勤奋,多与人和机器交流,在碰撞中获得灵感。

关于作者

司慧怡数据交易网资深编辑

以专业的态度与产业界人士产生良性互动,讲好产业发故事。

延申阅读

近3天 · 3 篇
词元经济21:56编辑精选

遍地开花的词元工厂:一边政策基建狂飙,一边市场化竞争遇阻

机器人10:51

百度成为简智机器人新股东,正式入局具身智能数采业务

词元经济21:17编辑精选

十余家银行上线词元贷,授信仍以还款能力为核心