據報中國數學家成立 AI 數學聯盟，串聯 8 機構並擬招募逾 1,000 名研究者

據 The Decoder 引述《南華早報》報導，菲爾茲獎得主丘成桐與多名中國數學家週日在北京成立「Yau Laboratory Alliance for Mathematics and Artificial Intelligence」，聯盟目前串聯 8 個機構，目標建立逾 1,000 名研究者的網絡。報導稱，丘成桐警告中國正落後於美國，聯盟將推動數學專用模型、機器可驗證證明，以及具透明度的 AI 推理。 報導指出，西方數學界對 AI 輔助證明抱持較多疑慮，包括 25 名菲爾茲獎得主在內的數學家擔心，AI 生成的證明會削弱數學理解，並讓研究者依賴自己無法追蹤的工具；部分人士甚至主張抵制 AI 生成證明，另一些人則對自動化提交的龐大數量感到震驚。即使是使用 AI 的專家，也尚未就 AI 是否能產生真正的數學洞見、或只是以暴力方式套用已知方法，以及兩者差異是否重要，形成共識。上述內容目前僅有單一媒體來源，相關聯盟規模與計畫尚未獲其他來源佐證。