IXThinker·2025-02-25 21:50

Meta科學家楊凱峪開講AI形式化數學推理

提升AI的數學能力對AI系統設計與驗證至關重要。一場以AI4Math為主題的線上報告於2月25日舉行，由Meta科學家楊凱峪主講，介紹形式化數學推理這條較少被探索的技術路徑。

報告概況

報告主題為AI4Math與形式化數學推理，定於2月25日上午10時30分至11時30分舉行。主講者楊凱峪為Meta科學家，長期研究如何以機器學習特別是大語言模型處理數學與推理任務。