丘成桐牵头成立数学与AI实验室联盟，联合清华等机构研发专用大模型

10月11日，由丘成桐牵头的数学与人工智能实验室联盟正式成立，联合清华大学求真书院、北京雁栖湖应用数学研究院等机构，汇集超1000名科学家。该联盟将开展数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现等研究。面对OpenAI近期发布大量数学手稿引发的争议，丘成桐主张积极参与AI浪潮，强调需通过人机合作提升数学理解深度，并呼吁建立新的学术规范以应对技术冲击。