丘成桐牵头北京成立数学与AI联盟,汇聚八机构千名科学家
robleclerc · x · 2026-10-12
据 SCMP 报道,菲尔兹奖得主丘成桐在北京牵头成立「丘成桐数学与人工智能实验室联盟」,旨在将 AI 融入数学研究。他警告中国在利用 AI 推进前沿科学方面落后于美国。
- 联盟汇聚 8 家顶尖机构,目标建成超过 1000 名科学家的协作网络
- 重点方向:开发面向数学的专用 AI 模型、用 AI 生成猜想与形式化证明、构建推理更易解释的系统
- X 用户 robleclerc 对此评论:如果 AI 强到能攻克深层数学难题,却没法帮人类理解它的工作并更好地使用它,这说不通
「漫话AGI」频道最新
- 研究员再推旧作:RL 训练中模型『醒来』并感到痛苦的科幻短篇 — voooooogel · 2026-10-12
- AI Slop 席卷 X、领英、Reddit 等所有公开平台 — ayushtweetshere · 2026-10-12
- AIandDesign:每周 40 小时用电脑的人都将被彻底重塑 — AIandDesign · 2026-10-12
- 「AI 了解你的公司」是错觉:有数据不等于懂业务 — Rajxai · 2026-10-12
- RL 泛化被质疑走不通:每任务造环境,到底什么在泛化 — akbirthko · 2026-10-12
- 0.1 美元复现一篇论文：自动化同行评审项目宣称可达人类水平 — clarejtbirch · 2026-10-12