芯片设计
丘成桐牵头成立数学与AI实验室联盟 自主开发中国数学大模型
📋总体概括
数学家丘成桐牵头在清华大学成立丘成桐数学与人工智能实验室联盟，联合清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中科院晨兴数学中心等机构，汇集超1000名科学家，自主开发中国数学领域专用大模型。联盟将AI对数学的冲击比作海啸，主张主动应对，六项任务涵盖专用模型研发、AI辅助研究基础设施、以基础数学支撑AI可解释性等，背景是OpenAI近期一次性公开722份AI生成数学手稿。
⚡关键信息
- ▸丘成桐牵头成立数学与AI实验室联盟，10月11日在清华大学成立，担任主席，联合求真书院、雁栖湖研究院、晨兴数学中心等机构
- ▸联盟汇集超过1000名科学家，设定六项重点任务，核心是借鉴国际通用大模型同时自主开发中国数学领域专用模型
- ▸丘成桐称AI对数学的冲击「像海啸来了」，主张在整个浪潮上冲浪而非回避，承认近期进展远超其一年前的预期
- ▸海外AI数学进展迅猛：OpenAI于10月6日一次性公开722份内部模型生成的数学研究手稿，涉及372组成果，但许多证明仍待独立核实
- ▸联盟还计划以基础数学理论创新支撑AI可解释性与安全性，并将范式拓展至量子计算、生命科学、金融经济等交叉领域
🔥犀利点评
顶级数学家从轻视到惊呼海啸，这个态度转变本身就是最有说服力的信号——AI攻入数学核心只是时间问题。但也要泼冷水：OpenAI的722份手稿尚需独立核实，说明AI数学远未成熟，此时举千人之力自研专用模型，究竟是真需求还是另一场举国式大模型跟风？数学专用模型的评测标准、数据壁垒都远比通用模型模糊，联盟若只产出论文和基建清单而非真正的定理，就是又一笔昂贵学费。丘老的冲浪姿态值得肯定，关键看浪来了谁真的敢下水。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 zaobao-entertainment 阅读全文 →