清華團隊以AI整理逾11萬條數學猜想
清華大學沈陽教授團隊以人工智能整理公開資料中的數學猜想,建成專為AI訓練而設的大規模猜想數據集,並讓AI為猜想排序選出首100名。沈陽為橫跨多個學科的跨界學者,訪談中他提出關於AI與數學的四重核心思考。
數據集規模與來源
清華大學沈陽教授團隊利用人工智能,從網上可公開取得的資料中,整理出118511條數學猜想,總數逾11萬。這批文件並非供人閱讀,而是專為AI訓練而設計,構成首個大規模數學猜想數據集。
有關猜想取自網上可公開取得的各類材料,經人工智能整理後形成結構化資源,可供後續研究與模型訓練使用;以AI系統性匯集數學猜想,屬同類工作的首次嘗試。
AI評選首百猜想
團隊並讓人工智能為這批猜想排列座次,按評估結果選出前100名。在中國廣為人知的哥德巴赫猜想,於這次AI排序中名列第49位。
是次評選由AI按各項猜想的內容自行評估完成,排名反映模型對猜想地位的判斷;哥德巴赫猜想在中國近乎無人不知,於機器的排序中只屬中游位置。
跨界學者與思考框架
沈陽為橫跨文、理、工、醫的跨界學者,曾先後在電腦、資訊管理、新聞傳播、人工智能與臨床醫學等領域出任教授或指導博士後,在AI繪畫、AI音樂及AI人文社科方面的探索亦引起廣泛社會關注。
在是次訪談中,沈陽系統提出四重核心思考,當中包括自進化數學的PCU框架,以及自進化算法優化的PAE框架,內容圍繞AI與數學研究的結合展開。
