2026.07.08
-
產品系列
Products
資料科學
網路通訊
其他應用軟體
硬體及周邊
最新活動
News
產品新知
Blogs
關於我們
About Us
聯絡我們
Contact Us
AI 是否將取代數學家？LLM 與符號計算的數學發現新紀元
自 2025-26 年起，大語言模型（LLM）已正式從「令人印象深刻的展示」轉向「嚴肅的數學與科學用途」。其中關於LLM 的突破，目前AI 系統不僅在國際數學奧林匹克（IMO）中達到金牌水準，更開始與像是Wolfram Language等符號計算工具結合，協助研究人員探索龐大的數學空間，甚至解決了一些懸而未決的開放性問題。
隨然LLM很強大，但依舊需要像是符號系統的輔助。儘管 LLM 在模式識別和模仿解題步驟方面表現出色，但其核心弱點在於缺乏真正的「理解」。若 LLM 走偏了路，它會自信地往錯誤方向前進，這樣的混合模式能夠帶來模式與精準的結合：透過LLM提出假設和路徑並讓 Wolfram Language 這樣的系統則提供精確的符號結構與驗證（精準度）。
如果想要更完整的內容，請點選下方連結：
來源：LLMs, symbolic computation, and the future of mathematical discovery
訂閱昊青/取消訂閱
*為必填
台北總公司
- 104079 台北市中山區復興北路354號11樓
(02) 2505-0525
(02) 2503-1680
高雄辦公室
- 800408 高雄市新興區民生一路56號6樓之6
(07) 229-8600
(07) 229-8660
客服資訊
- info@sciformosa.com.tw
0800-099-900