中国顶尖数学家联合八所机构组建超千人AI研究网络，Reddit网友热议：有人称形式化验证是AI在纯数学领域真正不可或缺的方向，有人嘲讽西方学界自满懒惰该被施压，也有人借机抨击美国学术界走向DEI而中国走向进步。