丘成桐数学与人工智能实验室联盟在清华大学成立,推动 AI 与数学深度融合

OpenAI 本月初一次性公开了 722 篇数学研究手稿,内容涵盖数论、代数几何、理论计算机科学、流体力学与统计物理等前沿领域,解决了多项长期存在的数学难题,给数学界带来了巨大的冲击。联盟牵头人、清华求真书院院长丘成桐在联盟成立仪式上谈及了对 AI 时代数学学科发展的看法,”这倒逼我们重新思考数学的本质价值,也要求我们必须在 AI 浪潮中冲浪,而不是躲起来”。在清华大学丘成桐数学科学中心、上海数学与交叉学科研究院开展的”7 维同伦球面:所有光滑结构均可以承载处处为正的截面曲”研究中,AI 用于辅助探索证明策略、简化计算。

原文连接