IXThinker·2026-07-14 17:10

AI for Math讀書會第二季招募發起人

AI與數學結合持續升溫，一個聚焦AI for Math的讀書會宣布開展第二季，並公開招募發起人與主講人，將深入討論大語言模型、自動定理證明與形式化數學如何實質參與數學發現、建模及複雜科學問題求解。

AI融入數學研究

近年大語言模型、自動定理證明與形式化數學快速發展，AI正逐步進入數學研究與科學計算的各個環節，從輔助猜想生成、證明搜索，到數學建模與科學計算，應用邊界持續擴展。