丘成桐在西方质疑声中发起中国人工智能数学联盟

发生了什么

据《南华早报》报道，丘成桐和中国数学界领军人物周日在北京发起丘成桐数学与人工智能实验室联盟。该联盟汇集八家机构，旨在联结逾1,000名研究人员，并计划开发专用模型、机器可验证的证明以及透明的人工智能推理。与此同时，包括特伦斯·陶和彼得·舒尔策在内的25位菲尔兹奖得主担心，人工智能生成的证明会削弱人们对数学的理解，并使研究人员依赖自己无法跟进的工具。

继续阅读

正在热议

1. 1Meta 开放发布 Muse Spark Open，支持 Mac 和云端部署，位居美国开放权重模型榜首
2. 2Google 在全球推出 Gemini 4 Argon，并扩大付费访问范围，基准测试结果不一
3. 3OpenAI 为 ChatGPT 中的 GPT-6 Astra Pro 带来并行智能体和更快响应
4. 4Meta的新商业条款引发有关网站抓取和 AI 训练权利的争议