丘成桐牵头成立数学与AI实验室联盟

2026年10月11日，由丘成桐牵头的数学与人工智能实验室联盟正式成立。该联盟联合了清华大学求真书院、北京雁栖湖应用数学研究院等机构，汇集超过1000名科学家。其主要研究方向包括开发数学科学专用大模型，以及利用AI辅助进行数学形式化证明和猜想发现。针对近期OpenAI发布大量数学手稿引发的争议，丘成桐主张积极参与AI浪潮，强调通过人机合作提升对数学的理解深度，并呼吁建立新的学术规范以应对技术带来的冲击。目前，该联盟已正式运作，旨在推动数学与人工智能的深度融合及规范化发展。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。