大多數「AI 數學」工具不過是套在一個通用聊天機器人外面的薄薄一層殼。AI-Math 不是。我們建構了一套專門打造的技術堆疊——MathCore 推理引擎——它把三個相互獨立的元件結合起來，每一個之所以被選中，都是因為它解決了純聊天機器人無法解決的問題。這就是你在 AI-Math 求解器上看到的每一步背後的技術敘事。我們不會點名競品模型，但我們會確切地告訴你，是什麼讓我們的流水線與眾不同。
「為數學專門打造」到底意味著什麼
通用 AI 是在公開網際網路上訓練的——程式碼、小說、Reddit 貼文、維基百科。它一路上學到了一些數學，但它的大部分容量花在了別的東西上。我們的技術堆疊恰恰相反：每一層的選擇、訓練或約束，都是專門為了讓你在一道數學題上得到的輸出是正確、完整且可講解的。
落到實處，這意味著三件事：
- 推理元件是在數百萬份分步解答上訓練的，這些解答取自中學和大學課程，而不是網際網路上的閒聊。
- 每一個代數步驟在展示給你之前，都由一個符號引擎獨立驗證。
- 這條流水線知道何時該用哪種方法，因為它是針對真實作業、而非競賽風格的偏題怪題調過的。
三個元件
1. 生成：一個專攻數學的推理模型
第一階段是一個基於 Transformer 的推理模型，在精心整理的分步數學推導語料上做過微調。它預設以思維鏈模式工作——每道題都會產出一塊內部草稿紙，在可見解答開始之前先把計畫鋪陳出來。
是什麼讓這個生成器不同於通用聊天機器人：
- 主要在教科書、習題集，以及 AP/IB/SAT 風格考試的推導上訓練，權重偏向學生真正會學的主題。
- 把每一步輸出為下游階段可解析的結構化形式——而不是自由流淌的散文。
- 懂得方法選擇的啟發式：何時因式分解 vs 配方 vs 二次公式，何時代換 vs 分部積分 vs 部分分式分解。
2. 驗證：一個對每一步複核的符號引擎
生成器產出的每一步都會交給一個符號驗證器。驗證器是一個確定性的電腦代數系統，它懂得代數、微積分和線性代數的規則，能夠證明（或證偽）第 步是否合法地由第 步得出。
如果驗證器否決了某一步，引擎就回溯：丟棄該步，給生成器一條關於哪裡出錯的提示，並要求它重新嘗試。你永遠看不到失敗的嘗試——你只看到經過驗證的路徑。
這就是為什麼我們在導數計算器和積分計算器上的解答，是人類閱卷老師在考試中會接受的，而不只是「看起來對」。
3. 講解：一個教學層
經過驗證的步驟隨後會通過一個講解層重新呈現，它補上為什麼——為什麼選這種方法、每次代換達成了什麼、常見的陷阱有哪些。正是這一層把一份原始推導變成一位家教的口吻。
講解層還負責適配你的水準。一個解一元一次方程式的國一學生，得到的語氣，會和一個解相關變化率問題的微積分學生不同。
具體而言，這給你帶來什麼
| 能力 | 純聊天機器人 | AI-Math（MathCore） |
|---|---|---|
| 讀懂一張雜亂的照片 | 經常能 | 能，並複述以供確認 |
| 解出題目 | 經常能 | 能，且步驟經過驗證 |
| 每一步可證明正確 | 否 | 是，經符號檢查 |
| 講解為什麼用這種方法 | 有時 | 總是 |
| 引用所用公式 | 有時 | 總是，並附公式表連結 |
| 在不確定時告訴你 | 很少 | 標出低信心區域 |
前三行就是為什麼學生在真正需要通過的考試上，會選 AI-Math 而不是通用聊天機器人。
MathCore 覆蓋的主題，按深度劃分
- K-8 算術與代數預備 —— 完整覆蓋，包括應用題與分數。
- 代數 I 與 II —— 方程式、不等式、多項式、方程組、指數、對數。
- 幾何與三角 —— 證明、恆等式、單位圓、相似、面積與體積。
- 微積分預備 —— 函數、數列、向量、圓錐曲線。
- AP / IB / A-Level 微積分 —— 極限、導數、積分、級數、微分方程式。
- 大學線性代數 —— 矩陣、行列式、特徵值、向量空間。
- 統計與機率 —— 分布、假設檢定、迴歸。
- 離散數學 —— 邏輯、集合、組合學、圖論基礎。
對每一個主題，驗證器都配置了正確的規則集；你可以從求解器入口頁瀏覽整個目錄。
我們不做什麼（以及為什麼）
- 我們不假裝自己是真人家教。 真人知道你的學習歷程、你下週的考試、你的薄弱環節。我們是軟體。最好的效果來自把 AI-Math 與一位老師或同伴搭配使用。
- 我們不展示每一個內部步驟。 驗證器的重試、規劃草稿和信心分數都留在內部，這樣可見的解答才乾淨。
- 我們不把驗證器鎖在付費牆後。 步驟驗證對所有人開放。免費檔刻意做得慷慨，因為我們相信一個只能將信將疑的求解器，比沒有求解器更糟。
隱私與安全
- 你提交的題目用於求解處理，不用於識別你的身分。
- 照片會被轉換成 LaTeX，並在求解後丟棄。
- 我們不會根據你問的數學內容做個人化廣告。（見隱私政策。）
試試這個引擎
最快的示範就是丟一道題給它：打開 AI-Math 求解器，貼上一個積分、一個方程式或一道應用題，看著經過驗證的分步解答出現。想要一次精選的體驗，可以試試：
接著讀
- AI 是怎麼真正解出數學題的 —— 這個引擎所實現的通用流水線
- AI 數學準確率：基準分數究竟意味著什麼 —— 如何評估任何一個數學 AI
- 用 AI 真正學會數學，而不是只拿到答案 —— 把 MathCore 用到極致的習慣