劉浩然顯然早有準備，他開啟一個新的視窗，輸了一行字。
“‘證明：如果一個數能被3整除，那麼它的各位數字之和也能被3整除。’這是一個初中級別的數學命題，表述很簡單，但涉及到自然語言和形式化邏輯之間的轉換。”
他先在一個開源的通用大模型上執行。
模型很快給出了答案，文字流暢，步驟清晰，甚至還心地加上了“由此可知”這樣的過渡詞。
“看起來沒問題，對吧？”劉浩然笑了笑，手指點在螢幕上，“但您看這裡。”
他放大了其中一行。
模型在推導過程中寫了一句“設該數為abc，其中a、b、c分別為百位、十位、個位數字”。
“它把‘各位數字之和’理解了‘三位數的各位數字’，所以它的證明只對三位數立。它沒有真的理解‘任意正整數’這個概念，只是從語料庫裡匹配到了一個最常見的教學案例。”
。頭眉了起皺宏正林
。了悉太他題問個這
。質本的”懂裝懂不“出暴會就，容的理推輯邏嚴要需及涉旦一可，暢流很都題問見常答回、結總做、章文寫，型模大的上面市
。題問的樣同了輸，面介試測的智小了開打，窗視的型模源開掉關然浩劉
。上幕螢在現出應回的智小
。和之字數位各的n示表)n(S中其，)n(S|3則，n|3若，n數整正意任於對：題命“
。9≤i_a≤0中其，0_a+01·1_a+…+}1-k{^01·}1-k{_a+k^01·k_a=n為示表制位進十的n設：明證
。立m數整負非意任對)3dom(1≡m^01故，)3dom(1≡01到意注
。)3dom()n(S=0_a+…+}1-k{_a+k_a≡n此因
”。畢證。)n(S|3即，)3dom(0≡)n(S而從，)3dom(0≡n則，n|3若
。宏正林著看頭過轉然浩劉
”。吧同不了現發經己您許或，裡這到看，總林“
。在還養素輯邏的礎基但，業專學數是不然雖，出技做是宏正林
。亮越來越睛眼，明證的上幕螢著盯他
”。數整正意任於用適，算運模是的用它……它“
”。配匹式模做在是不而，構結的題問了解理的真是它明說這。屬質本個這’1餘3模01‘了住抓，發出式形般一的示表制位進十從是而，例案學教的現何任用套有沒它“，頭點然浩劉”。對“
。考思在是像就來起看，了多得測預，詞個一下測預文前據們它。’空填形完的階高超‘是都上質本，型模大的有所上面市前目“
”。力能解理的正真有沒們它但
”。樣一不智小而“
。圖構架統系的智小到切他
。耦解全完層三這構結學數、輯邏號符、言語然自把是路思心核，架框套這“
。粥鍋一像，起一在攪訊資有所把是，話句一理型模的通普
。’麼什說在話句這‘楚清搞，開剝層義語把先會，話句一理智小
。’麼什是構結輯邏的話句這‘析分，來出離分層輯邏把後然
”。’則規算運和件學數些哪應對話句這‘定確，來出取提層號符把後最
。裡間空量度權加個一到嵌訊資些這把，組模映對何幾辛過再，後之完理別分層三“
。係關應對何幾的定特有構結的關相輯邏，近離距念概的近相義語，裡間空個這在
”。徑路優最的論結往通提前從找尋在是就上質本，類分道軌做裡間空個這在組模調同爾弗後然
”。導推學數做地正真在是它，戲遊字文做在是不它以所“
