IXThinker·2025-02-25 19:00

形式化數學推理：AI攻數學的另一條路

形式化數學推理是提升AI數學能力的一條互補路徑。Meta科學家楊凱峪將於2月25日以線上形式開講，介紹以機器學習處理形式化推理的最新進展，探討AI衝擊數學前沿的另一種可能。

主題背景

AI4Math不僅智力挑戰性高，在AI驅動的系統設計與驗證中亦發揮關鍵作用。目前主流研究借用自然語言處理技術，以數學文本數據集訓練大模型，但形式化推理路徑同樣值得重視。