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

发生了什么

据科技日报·要闻滚动报道，针对OpenAI批量生成数学证明引发的“证明消化不良”及可靠性争议，由菲尔兹奖得主丘成桐牵头的“丘成桐数学与人工智能实验室联盟”于10月11日在清华大学揭牌。该联盟由包括清华大学求真书院在内的8家机构组建，拥有1000名科学家，旨在建立数据算力共享机制及成果评价与伦理规范。此举被视为中国数学界应对AI冲击、重构人机协作生态的制度性回应。