丘成桐数学与人工智能实验室联盟在北京成立，西方数学界则抵制 AI 证明

丘成桐（Shing-Tung Yau）等中国数学家周日在北京发起"丘成桐数学与人工智能实验室联盟"，联合八家机构，目标是建成超 1000 名研究人员的网络，开发专用模型、机器可验证证明和透明 AI 推理，丘成桐警告中国正落后于美国。