這個(gè)系列的第一篇我不想急著放代碼。一個(gè)AI輔助數(shù)學(xué)學(xué)習(xí)的工具真正的難點(diǎn)從來不在某個(gè)單一功能而在于把“看懂題目、定位卡點(diǎn)、啟發(fā)思考、鞏固練習(xí)”這條鏈路完整串起來。過去大半個(gè)月我翻了不少市面上的方案也親手做了幾輪技術(shù)選型驗(yàn)證踩了一些坑所以才有了這篇規(guī)劃筆記。這個(gè)系列我會(huì)用編號(hào)01、02、03的方式持續(xù)記錄從動(dòng)機(jī)到架構(gòu)從選型到調(diào)試盡量把每一步取舍都寫清楚。為什么現(xiàn)在想做這件事說來也簡(jiǎn)單通用對(duì)話大模型能解不少數(shù)學(xué)題拍照答疑產(chǎn)品也流行很多年了但兩者之間有一條明顯的空檔。多數(shù)已有方案要么直接給答案要么把AI當(dāng)成一個(gè)精美的搜索引擎而數(shù)學(xué)學(xué)習(xí)真正需要的是在學(xué)生的思路中斷時(shí)給出恰到好處的提醒——不替他走完而是陪他走完。這個(gè)需求我目前很少看到有產(chǎn)品真正接住。所以我給自己定的目標(biāo)很明確做一個(gè)“不說答案、還能教會(huì)你”的AI輔助數(shù)學(xué)學(xué)習(xí)工具。它會(huì)先判斷你的解法卡在哪個(gè)環(huán)節(jié)再一步步給提示如果你確實(shí)做不出來才展示完整解析。這篇文章主要回答四個(gè)問題為什么選這個(gè)方向、范圍劃到哪、技術(shù)路線怎么搭、第一批驗(yàn)證怎么做。1. 為什么是“AI輔助數(shù)學(xué)學(xué)習(xí)”三個(gè)真實(shí)存在的痛點(diǎn)1.1 學(xué)生缺的不是答案是“卡在哪一步”的判斷先講一個(gè)最常見的場(chǎng)景學(xué)生做練習(xí)卡住了身邊沒有老師。他掏出手機(jī)拍照幾秒鐘拿到一個(gè)完整答案?？炊岁P(guān)掉手機(jī)下次遇到同類題還是不會(huì)。這不是學(xué)生笨而是“看懂解析”和“自己會(huì)做”在認(rèn)知難度上差了整整一個(gè)量級(jí)。傳統(tǒng)答疑工具把學(xué)習(xí)問題簡(jiǎn)化成了檢索問題答案跳過了最關(guān)鍵的過程診斷。比如一道因式分解題學(xué)生可能錯(cuò)在符號(hào)處理也可能在提取公因式之前就理解錯(cuò)了式子的整體結(jié)構(gòu)。標(biāo)準(zhǔn)答案不會(huì)告訴他這些AI輔助數(shù)學(xué)學(xué)習(xí)工具的價(jià)值就在這里——把“我這題不會(huì)”翻譯成“你其實(shí)已經(jīng)走到了哪一步、卡在了哪個(gè)認(rèn)知點(diǎn)上”。我試過一個(gè)很典型的例子解方程 (2(x-3)4(x-3))不少學(xué)生上手就兩邊約掉 ((x-3))然后得到 (24)反復(fù)驗(yàn)算都覺得哪里不對(duì)。真正的卡點(diǎn)并不是移項(xiàng)或合并同類項(xiàng)而是“等式兩邊能不能同時(shí)除以一個(gè)可能等于零的式子”這個(gè)前提條件沒有建立。如果AI只說“把含x的式子都移到左邊”等于完全沒講。它必須識(shí)別出學(xué)生“兩邊直接約掉”這個(gè)動(dòng)作背后的具體漏洞才能給出有效引導(dǎo)。1.2 題目的輸入效率決定了工具會(huì)不會(huì)被用起來第二個(gè)痛點(diǎn)特別務(wù)實(shí)拍題。數(shù)學(xué)題和普通文本不一樣里面全是公式結(jié)構(gòu)分?jǐn)?shù)線上下有內(nèi)容、根號(hào)嵌套多層、上標(biāo)下標(biāo)疊在一起普通OCR按行掃描一遇到這些結(jié)構(gòu)基本就亂了。我測(cè)試過一些通用文字識(shí)別接口純文本段落識(shí)別率很高但換成數(shù)學(xué)試卷截圖公式區(qū)域就開始出錯(cuò)負(fù)號(hào)丟失、分母錯(cuò)位、等號(hào)后面內(nèi)容被截?cái)?。用戶拍一道題如果識(shí)別結(jié)果需要手動(dòng)修改三次以上這個(gè)工具基本就被卸載了。所以我把題目輸入當(dāng)成“前置生死線”來對(duì)待下文會(huì)單獨(dú)講選型邏輯。這里要補(bǔ)充一個(gè)很容易被忽略的細(xì)節(jié)題目通常不是純公式而是文字描述和公式混排。應(yīng)用題題干里的中英文、數(shù)字、單位都會(huì)和公式交錯(cuò)在一起。處理這類混合版面不是簡(jiǎn)單接一個(gè)公式OCR而是要先把版面切成“文本塊”和“公式塊”再分別走不同的識(shí)別鏈路最后拼裝成結(jié)構(gòu)化的題目文本。1.3 學(xué)習(xí)反饋沒有形成閉環(huán)第三個(gè)痛點(diǎn)是反饋閉環(huán)的缺失。做題、錯(cuò)、看解析、結(jié)束。沒有記錄沒有歸因沒有變式鞏固。傳統(tǒng)紙質(zhì)練習(xí)冊(cè)天然做不到這一點(diǎn)但AI可以、也應(yīng)該做到。AI能做的不只是判對(duì)錯(cuò)而是為每一道錯(cuò)題打上結(jié)構(gòu)化的標(biāo)簽錯(cuò)誤發(fā)生在概念理解層、代數(shù)計(jì)算層還是審題環(huán)節(jié)這個(gè)錯(cuò)誤對(duì)應(yīng)的前置知識(shí)點(diǎn)是什么需不需要推一道同類型但數(shù)字不同的變式題來檢驗(yàn)。這個(gè)思路在學(xué)習(xí)科學(xué)里并不新鮮間隔練習(xí)和反饋矯正早就有大量實(shí)證支持缺的只是一個(gè)愿意把“錯(cuò)因”當(dāng)核心數(shù)據(jù)去建模的產(chǎn)品。我不打算把這個(gè)工具定位成“能解所有數(shù)學(xué)題”的萬能解題器。它更像一個(gè)耐心的陪練記錄你的每次卡頓把卡頓原因結(jié)構(gòu)化然后針對(duì)性地陪你補(bǔ)上那一個(gè)缺口。從產(chǎn)品角度說這個(gè)定位比“題題都能解”更有長(zhǎng)期價(jià)值。2. 項(xiàng)目邊界把“不做什么”先寫清楚2.1 目標(biāo)用戶和使用場(chǎng)景先聚焦課后自主練習(xí)立項(xiàng)時(shí)最容易犯的錯(cuò)就是目標(biāo)過大。我見過不少項(xiàng)目一開始就揚(yáng)言要覆蓋小學(xué)到高中全學(xué)段題目類型無所不包最后團(tuán)隊(duì)半年做出來一個(gè)每個(gè)功能都淺嘗輒止的Demo。我這次特意把邊界收得很窄。第一版只服務(wù)一個(gè)場(chǎng)景中學(xué)階段學(xué)生在課后自主練習(xí)時(shí)遇到不會(huì)做的題身邊沒有老師需要有人幫他理思路。這個(gè)場(chǎng)景有幾個(gè)特點(diǎn)——用戶有明確的學(xué)習(xí)動(dòng)機(jī)需求發(fā)生頻率高而且當(dāng)前可用的幫助手段都很弱問同學(xué)不方便搜答案又只是抄一遍。工具只要能在這個(gè)薄弱的環(huán)節(jié)真正幫上忙就有不可替代的價(jià)值。我不打算做課堂教學(xué)場(chǎng)景。教室里有老師有互動(dòng)節(jié)奏有黑板板書AI貿(mào)然插進(jìn)去只會(huì)添亂。自學(xué)場(chǎng)景則完全不同那里沒有及時(shí)反饋AI的啟發(fā)式引導(dǎo)恰好能填補(bǔ)結(jié)構(gòu)性的空缺。2.2 第一版功能范圍單題互動(dòng)優(yōu)先學(xué)情分析延后功能范圍我按優(yōu)先級(jí)切成了三層。第一版死死咬住P0不做額外的發(fā)揮優(yōu)先級(jí)功能說明P0拍照/截圖識(shí)別題目文字與公式混排的結(jié)構(gòu)化識(shí)別P0卡點(diǎn)診斷與分步引導(dǎo)不直接給答案按學(xué)生的回答動(dòng)態(tài)推進(jìn)P0完整解析兜底連續(xù)三次提示后仍做不出才展示解題過程P1錯(cuò)題本與知識(shí)點(diǎn)標(biāo)簽自動(dòng)記錄錯(cuò)題標(biāo)記關(guān)聯(lián)知識(shí)點(diǎn)P1同類變式題推薦基于標(biāo)簽和題面檢索推薦變式P2學(xué)情周報(bào)與薄弱點(diǎn)預(yù)測(cè)需要積累足夠數(shù)據(jù)第二期再上這個(gè)排序背后的邏輯是先證明“單題互動(dòng)”有價(jià)值再談“長(zhǎng)期學(xué)習(xí)數(shù)據(jù)”。如果一道題都陪不好錯(cuò)題本和周報(bào)都是空中樓閣。做產(chǎn)品最怕引入大量功能最后每個(gè)都做得平庸。先把單題體驗(yàn)做成“用過就回不去”的水準(zhǔn)后面的事情才有意義。2.3 三條不做的紅線除了功能范圍我還給自己立了三條紅線它們和功能清單同等重要。第一條不做代答作業(yè)的工具。用戶輸入題目工具直接吐出完整答案這就是自動(dòng)化抄寫它削弱學(xué)習(xí)過程本質(zhì)上與我做這個(gè)項(xiàng)目的初衷相悖。我允許系統(tǒng)展示完整解析但前提是學(xué)生已經(jīng)嘗試過、卡住了、并明確表達(dá)了“我想看過程”。第二條不做“套殼題庫”。市面上有些產(chǎn)品掛上“AI智能學(xué)習(xí)”的牌子背后只是一個(gè)搜索題庫的接口。AI的價(jià)值在于動(dòng)態(tài)的、針對(duì)個(gè)體的對(duì)話引導(dǎo)如果只是把檢索結(jié)果包裝成對(duì)話用戶很快就會(huì)發(fā)現(xiàn)它并不理解自己留存率一定崩。第三條不做以監(jiān)控為目的的家長(zhǎng)端。實(shí)時(shí)報(bào)告孩子正在做哪道題、卡了多久、有沒有偷懶這種功能短期能刺激家長(zhǎng)付費(fèi)長(zhǎng)期會(huì)讓孩子對(duì)這個(gè)工具有強(qiáng)烈的防備心理。我寧愿讓用戶數(shù)據(jù)只服務(wù)于“幫他學(xué)得更好”而不是服務(wù)于“讓別人控制他”。這些紅線可能讓產(chǎn)品在商業(yè)上走得慢一點(diǎn)但它們決定了這個(gè)工具的用戶體驗(yàn)是“被陪伴”而不是“被監(jiān)視”。我傾向于把這個(gè)屬性當(dāng)成長(zhǎng)期壁壘來建設(shè)。3. 技術(shù)選型從公式識(shí)別到推理引擎每一環(huán)的取舍邏輯3.1 公式識(shí)別普通OCR和公式OCR是兩種完全不同的東西數(shù)學(xué)公式是二維排版結(jié)構(gòu)分?jǐn)?shù)線的上下關(guān)系、根號(hào)的覆蓋范圍、上標(biāo)下標(biāo)的分層這些結(jié)構(gòu)信息一旦丟失語義會(huì)完全改變。普通OCR按行掃描文字遇到 (\frac{ab}{cd}) 這種結(jié)構(gòu)時(shí)會(huì)把分子分母當(dāng)成兩行獨(dú)立文本輸出結(jié)果基本無法使用。所以公式識(shí)別必須走專門方案。這類方案通常分兩步第一步檢測(cè)圖像中的公式區(qū)域第二步將公式區(qū)域轉(zhuǎn)換輸出為結(jié)構(gòu)化的LaTeX表示。市面上的開源公式識(shí)別模型和商業(yè)OCR接口我都做過初步測(cè)試結(jié)論比較明確清晰印刷體的截圖開源模型已經(jīng)能打到七八十分手寫體和復(fù)雜矩陣場(chǎng)景商業(yè)接口的魯棒性優(yōu)勢(shì)更大但成本也隨之上升。我的做法是接一個(gè)通用識(shí)別能力作為底座同時(shí)再包一層規(guī)則化后處理。后處理專門盯著幾類高頻錯(cuò)誤全角半角符號(hào)混用、負(fù)號(hào)被識(shí)別成連字符、分?jǐn)?shù)線錯(cuò)位、等號(hào)溢出。這些錯(cuò)誤不修正后面的解題鏈路一定會(huì)被污染。補(bǔ)充一個(gè)接口設(shè)計(jì)建議OCR結(jié)果不要直接進(jìn)入大模型最好先經(jīng)過標(biāo)準(zhǔn)化模塊把題面轉(zhuǎn)成統(tǒng)一的文本結(jié)構(gòu)比如普通文本、LaTeX公式、選擇題選項(xiàng)分段存儲(chǔ)。這個(gè)中間層能為后面的診斷和檢索省下大量麻煩。3.2 推理層通用大模型“裸奔”解題計(jì)算翻車率很高通用對(duì)話大模型的自然語言理解能力很強(qiáng)但直接讓它解數(shù)學(xué)題有一個(gè)致命問題精確計(jì)算不可靠。三位數(shù)乘法、多項(xiàng)式展開、分?jǐn)?shù)運(yùn)算這類確定性計(jì)算模型經(jīng)常一本正經(jīng)地算出錯(cuò)誤結(jié)果。數(shù)學(xué)解題最后結(jié)果錯(cuò)了前面講解再順都是枉然。我的路線是“混合推理”模型負(fù)責(zé)理解題意、拆解思路、生成人話講解精確計(jì)算交給外部工具代數(shù)化簡(jiǎn)和符號(hào)變換交給符號(hào)計(jì)算引擎。舉個(gè)例子模型識(shí)別出這道題需要用配方法它只需要規(guī)劃“應(yīng)該配方、配方之后得到哪類結(jié)構(gòu)”具體的代數(shù)式展開和合并交給符號(hào)引擎完成再把計(jì)算結(jié)果回填給模型由模型組織成自然的引導(dǎo)語。這樣還有一個(gè)附加好處可解釋性大幅提升。每一步計(jì)算都能追溯到符號(hào)引擎的輸出而不是大模型信口說出來的。對(duì)教育類產(chǎn)品來說這個(gè)可追溯性非常關(guān)鍵它意味著系統(tǒng)敢為自己的每一句話負(fù)責(zé)。3.3 知識(shí)組織單道題和它的“前驅(qū)知識(shí)點(diǎn)”光會(huì)解一道題還不夠工具如果要推薦同類題、定位薄弱點(diǎn)就需要一個(gè)知識(shí)組織層。這個(gè)層我打算用“輕量知識(shí)圖譜 向量檢索”組合實(shí)現(xiàn)而不是一開始就建一個(gè)大而全的知識(shí)體系。具體設(shè)計(jì)是這樣先人工定義一小批核心知識(shí)點(diǎn)比如“移項(xiàng)”“合并同類項(xiàng)”“配方法”“因式分解”等等然后標(biāo)注它們之間的關(guān)系尤其是前驅(qū)后繼關(guān)系。因式分解是解一元二次方程的前置技能移項(xiàng)是合并同類項(xiàng)的前置技能。這樣當(dāng)學(xué)生在某一步卡住時(shí)系統(tǒng)可以從當(dāng)前題目追溯到具體的前置知識(shí)點(diǎn)并給出針對(duì)性提示。向量檢索則負(fù)責(zé)處理“找同類題”的需求。把每道題目的題面文本和知識(shí)點(diǎn)標(biāo)簽一起嵌入到向量空間檢索時(shí)先按知識(shí)點(diǎn)過濾再按向量相似度排序。它負(fù)責(zé)找“長(zhǎng)得像”的題知識(shí)圖譜負(fù)責(zé)解釋“為什么像”。兩層結(jié)合才不是單純的關(guān)鍵詞匹配。3.4 交互層不是一次給答案而是狀態(tài)機(jī)這一步是我自己踩過坑才想明白的。最開始我試用過一個(gè)方案直接把題目丟給對(duì)話模型請(qǐng)求它“分步驟講解”模型確實(shí)輸出了步驟但五步一次性全部給出來了用戶體驗(yàn)和直接抄答案沒有任何區(qū)別。分步引導(dǎo)不能一次性輸出全部過程必須在每個(gè)關(guān)鍵節(jié)點(diǎn)停下等學(xué)生給出回應(yīng)再根據(jù)回應(yīng)的質(zhì)量決定下一輪提示的力度。在工程實(shí)現(xiàn)上這是一個(gè)典型的狀態(tài)機(jī)DIAGNOSIS, HINT_1, HINT_2, SOLUTION range(4) def next_action(state, student_input): if state DIAGNOSIS: # 第一步先讓學(xué)生說出當(dāng)前的思路 return ask_question(這道題你打算先從哪里下手) if state HINT_1: # 根據(jù)學(xué)生回答判斷錯(cuò)誤類型給第一層提示 error_type detect_error_type(student_input) if error_type MISS_ZERO: return hint(等號(hào)兩邊似乎有一個(gè)共同因子它可以直接約掉嗎) return fallback_hint() if state HINT_2: # 第二層提示更貼近具體操作 return hint(想一想等式兩邊同時(shí)除以同一個(gè)數(shù)需要滿足什么條件) # 狀態(tài)累加到上限只好展示完整解析 return show_solution()狀態(tài)機(jī)的好處是可控、可測(cè)試、可記錄。每一次跳轉(zhuǎn)都會(huì)留下日志這些日志就是評(píng)估“AI引導(dǎo)質(zhì)量”的一手材料。如果用戶第一次在第二層提示后才做出來和第三次在完整解析后才做出來這兩個(gè)情況對(duì)應(yīng)的教學(xué)效果完全不同。4. MVP構(gòu)建路線先跑通一道題的完整閉環(huán)4.1 為什么我選“一元二次方程”作為第一個(gè)試點(diǎn)這個(gè)決定說出來有點(diǎn)土但我確實(shí)把一大批知識(shí)點(diǎn)放在桌上挑了很久——函數(shù)、幾何、概率、數(shù)列都考慮過最終鎖定的是一元二次方程。原因有三個(gè)。第一知識(shí)點(diǎn)邊界極其清晰解法路徑不算復(fù)雜但題型覆蓋面夠廣有概念判斷、有代數(shù)解法、有應(yīng)用題建模能一次性驗(yàn)證多種診斷邏輯。第二常見錯(cuò)誤類型足夠豐富缺根、漏解、配方失誤、符號(hào)錯(cuò)誤、應(yīng)用題列式出錯(cuò)這些都是可以明確分類的錯(cuò)因適合用來檢驗(yàn)診斷模塊的準(zhǔn)確率。第三它在中學(xué)數(shù)學(xué)里是絕對(duì)核心的內(nèi)容和后續(xù)的函數(shù)、不等式都強(qiáng)關(guān)聯(lián)工具做好了之后自然可以向外延伸。把范圍縮小到一元二次方程意味著我可以在兩周內(nèi)做出一個(gè)真正能用的閉環(huán)而不是花兩個(gè)月做出一堆沒調(diào)試過的模塊拼裝件。4.2 兩周開發(fā)計(jì)劃我的開發(fā)計(jì)劃切成了四個(gè)階段每個(gè)階段都有明確的產(chǎn)出物階段時(shí)間核心工作驗(yàn)收產(chǎn)出第一階段Day 1-3接入OCR接口實(shí)現(xiàn)題目標(biāo)準(zhǔn)化圖像輸入到結(jié)構(gòu)化題目文本的穩(wěn)定轉(zhuǎn)換第二階段Day 4-7實(shí)現(xiàn)對(duì)話狀態(tài)機(jī)和提示模板完成單題三步引導(dǎo)的對(duì)話Demo第三階段Day 8-10接入同類題檢索支持基礎(chǔ)變式推薦第四階段Day 11-14搭建評(píng)測(cè)腳本小范圍試用帶日志的評(píng)估結(jié)果和問題清單每一個(gè)階段的產(chǎn)出都可以獨(dú)立驗(yàn)證避免最后一天才發(fā)現(xiàn)問題卻不知道是哪一環(huán)引入的。4.3 評(píng)測(cè)指標(biāo)和最小數(shù)據(jù)集沒有評(píng)測(cè)閉環(huán)開發(fā)很容易變成“自認(rèn)為好用”。我準(zhǔn)備了一個(gè)大約80道題的最小評(píng)測(cè)集題型分成三類概念題、解法題、應(yīng)用題并按難度做了簡(jiǎn)單分層。每道題都有預(yù)先標(biāo)注的標(biāo)準(zhǔn)答案、常見錯(cuò)誤類型和提示語料。圍繞這個(gè)數(shù)據(jù)集我定義了三項(xiàng)核心指標(biāo)第一是題面識(shí)別率圖像輸入后經(jīng)過自動(dòng)糾錯(cuò)和后處理能在三次之內(nèi)得到可用結(jié)構(gòu)化題面的比例。這項(xiàng)指標(biāo)偏工程決定了用戶進(jìn)來的第一印象。第二是卡點(diǎn)識(shí)別準(zhǔn)確率把標(biāo)注的常見錯(cuò)誤類型和AI診斷出的錯(cuò)誤類型做比對(duì)看系統(tǒng)能不能準(zhǔn)確命中真實(shí)卡點(diǎn)。這項(xiàng)指標(biāo)偏算法是啟發(fā)式教學(xué)的地基。第三是引導(dǎo)有效率記錄了用戶經(jīng)過提示后自行做出題目的比例。這項(xiàng)指標(biāo)偏產(chǎn)品反映的是整個(gè)交互閉環(huán)的真實(shí)效果。我特別強(qiáng)調(diào)一點(diǎn)第三項(xiàng)指標(biāo)的口徑必須嚴(yán)格學(xué)生要在沒有看到完整解析的情況下自己寫出正確答案才能算一次“有效引導(dǎo)”。4.4 最小數(shù)據(jù)集之外日志先行這個(gè)習(xí)慣是我做過幾個(gè)項(xiàng)目后總結(jié)出來的——日志能力要在第一天就搭好而不是上線前再補(bǔ)。每次對(duì)話的識(shí)別結(jié)果、狀態(tài)跳轉(zhuǎn)、提示層級(jí)、最終是否做對(duì)全部結(jié)構(gòu)化落庫。以后不管是分析用戶卡點(diǎn)分布還是迭代提示模板都靠這批數(shù)據(jù)。5. 我現(xiàn)在就能預(yù)見的坑幻覺、模糊題面、公式失真和賬單5.1 大模型幻覺一本正經(jīng)地算出錯(cuò)誤答案哪怕用了混合推理模型在生成講解文字時(shí)仍然可能順手寫錯(cuò)一個(gè)式子。比如解 (x^24)模型可能在最終總結(jié)時(shí)漏掉 (x-2) 這個(gè)根。我已經(jīng)在一次快速驗(yàn)證里親眼見過這種情況。對(duì)策很簡(jiǎn)單關(guān)鍵結(jié)論必須留痕可校驗(yàn)。所有數(shù)據(jù)結(jié)果盡量從符號(hào)計(jì)算引擎取模型只負(fù)責(zé)組織語言。如果某些題目類型的計(jì)算確實(shí)無法外置比如幾何面積推導(dǎo)就必須在提示約束中加入“先計(jì)算再復(fù)述”的規(guī)則并在輸出側(cè)做關(guān)鍵數(shù)值的抽檢。5.2 拍照質(zhì)量千奇百怪手寫體、傾斜、卷面污漬我預(yù)計(jì)到真實(shí)用戶上傳的圖片里什么都有手寫體、紙上反光、拍攝傾斜、書頁陰影、同桌的手臂入鏡。這些問題有些靠算法可以修正有些則必須靠產(chǎn)品交互來兜底。第一版我決定只接受清晰的印刷體截圖和拍攝圖手寫體識(shí)別單獨(dú)立項(xiàng)放到后面做。哪怕這樣也要在圖片進(jìn)入識(shí)別前做一次預(yù)檢分辨率太低或模糊度太高的圖直接提示用戶重新拍攝而不是讓OCR硬跑一輪輸出一個(gè)錯(cuò)誤結(jié)果。這個(gè)交互細(xì)節(jié)能省下不少后端識(shí)別資源。5.3 公式在普通文本里的可讀性問題AI生成LaTeX很容易但大多數(shù)手機(jī)屏幕對(duì)一大堆反斜杠和花括號(hào)并不友好。如果對(duì)話界面直接把“( \frac{\sqrt{x1}}{2} )”這樣的原始字符串拋給用戶那就是災(zāi)難。解決方案是前端必須配備公式渲染組件同時(shí)約定模型的輸出格式只允許使用標(biāo)準(zhǔn)LaTeX子集禁止自定義宏公式盡量獨(dú)立成行。這個(gè)約束看起來小實(shí)際體驗(yàn)差的往往就是這些細(xì)節(jié)。5.4 Token成本和響應(yīng)速度一次引導(dǎo)對(duì)話可能燒掉多次調(diào)用分步引導(dǎo)意味著大模型對(duì)話不是一次調(diào)用而是多次往返。一次完整的引導(dǎo)流程可能要觸發(fā)五到八次模型請(qǐng)求Token消耗比單問答高出一個(gè)數(shù)量級(jí)。如果響應(yīng)速度再慢學(xué)生早就不耐煩了。我計(jì)劃用三層手段來對(duì)沖成本常見題型的解析和提示語做緩存命中緩存時(shí)零模型調(diào)用用本地輕量模型先做題型分類和簡(jiǎn)單錯(cuò)誤識(shí)別把大模型調(diào)用限制在真正需要深層推理的環(huán)節(jié)嚴(yán)格控制上下文長(zhǎng)度只保留與當(dāng)前步驟相關(guān)的歷史消息不把整段對(duì)話來回重復(fù)發(fā)送。5.5 一條容易被忽略的底限教育類工具的安全邊界比普通工具更敏感。我堅(jiān)持一個(gè)簡(jiǎn)單的原則不收集任何身份信息日志里只有做題行為數(shù)據(jù)不提供任何形式的代寫能力不做排名、比較和焦慮制造。所有功能設(shè)計(jì)都圍繞“學(xué)習(xí)者的成長(zhǎng)”而不是“學(xué)習(xí)者的評(píng)價(jià)”。這個(gè)底限不寫進(jìn)代碼但比代碼影響更大。這個(gè)系列叫01就說明后面還會(huì)有02、03。下一期我計(jì)劃展開公式OCR的選型對(duì)比和那80道評(píng)測(cè)集的標(biāo)注細(xì)節(jié)這兩部分是整個(gè)系統(tǒng)能不能站住的根基。這個(gè)項(xiàng)目最后能做成什么樣子說實(shí)話我沒有十足把握但把目標(biāo)縮小到“陪一個(gè)學(xué)生認(rèn)真走完一道題”我覺得至少是值得先試出來的。