IXThinker·2026-10-05 14:40

大語言模型時代數學建模 讀書會分享實踐思考

AI自動發現數學證明正蓬勃發展，應用數學研究在AI時代亦明顯加速，但由真實世界問題到數學模型的關鍵建模環節表現仍未如理想。一場AI for Math讀書會以此為題，邀來應用數學學者分享實踐體會。

建模仍是短板

與AI在數學證明發現上的快速進展相比，從真實世界問題到數學模型這一基礎過程的表現仍不盡如人意。這一環節需要對問題本質的理解與抽象，是今次讀書會聚焦探討的核心問題。