丘成桐联合八家机构，成立数学与 AI 实验室联盟

丘成桐牵头的数学与 AI 实验室联盟于 10 月 11 日在清华成立，计划共享算力、形式化数学库和训练资源，并研发数学专用模型。联盟拟在五地组建实验室；目前公开的是组织与研究计划，尚未发布可供公众使用的新模型。

来源

1. Tsinghua · Alliance announcement, reporting Xinhua

相关

• OpenAI 公开数百篇数学论文，声称解决数十年难题 2026年10月6日
• 数学家独立测试 AI：最好的系统答对十道研究题中的九道 2026年10月14日
• Biohub 联合美国能源部、NIH、DeepMind 和 Meta 承诺 18 亿美元，建设供 AI 使用的开放生物数据 2026年10月7日
• Google 让 AI 设计分子，实验发现它们黏住了不该黏的东西 2026年10月16日