丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合
IT之家 10 月 12 日消息，据北京日报报道，10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动 AI 与数学深度融合。 据IT之家此前报道，OpenAI 本月初一次性公开了 722 篇数学研究手稿 ，内容涵盖数论、代数几何、理论计算机科学、流体力学与统计物理等前沿领域，解决了多项长期存在的数学难题，给数学界带来了巨大的冲击。 联盟牵头人、清华求真书院院长丘成桐在联盟成立仪式上谈及了对 AI 时代数学学科发展的看法，“这倒逼我们重新思考数学的本质价值， 也要求我们必须在 AI 浪潮中冲浪 ，而不是躲起来。” 据介绍，联盟发布了 10 余项“AI+ 数学”重点成果和研究方向，围绕几何、量子计算、生命科学等方向，涉及退化阿诺德猜想问题、极小修改的有界性、7 维同伦球面等科学问题。 其中，在清华大学丘...
来自IT之家 AI的《丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合》。重点看模型能力与工程、产品发布。摘要提到：IT之家 10 月 12 日消息，据北京日报报道，10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动 AI 与数学深度融合。 据IT之家此前报道，OpenAI 本月初一次性公开了 722 篇数学研究手稿 ，内容涵盖数论、代数几何、理论计算机科学、流体力学与统计物理等前沿领域，解决了多项长期存在的数学难题，给数学界带来了巨大的冲击。 联盟牵头人、清华求真书院院长丘成桐在联盟成立仪式上谈及了对 AI 时代数学学科发展的看法，“这倒逼我们重新思考数学的本质价值， 也要求我们必须在 AI 浪潮中冲浪 ，而不是躲起来。” 据介绍，联盟发布了 10 余项“AI+ 数学”重点成果和研究方向，围绕几何、量子计算、生命科学等方向，涉及退化阿诺德猜想问题、极小修改的有界性、7 维同伦球面等科学问题。 其中，在清华大学丘...
本站只提供摘要与原文入口。完整内容请阅读原文。
来源：IT之家 AI · ithome.com