北大人工智慧研究院，院長辦公室。
朱宋純教授正戴著眼鏡，審閱著一份關於“通用人工智慧（AGI）”的戰略報告。作為享譽全球的計算機視覺與認知科學專家，他回國後一首致力於推動華國原創AI理論的發展。
“叮咚。”
郵箱提示音響起。
朱宋純掃了一眼螢幕。
【發件人：徐辰（數學科學學院）】
【主題：關於大模型邏輯推理能力的一點思考（附論文初稿）】
“徐辰？”
朱宋純放下手中的報告，眼中閃過一絲好奇。
“原來剛才張偉平特意發微信來打招呼的就是他啊。這小子不是搞數論的嗎？怎麼突然跨界搞起AI來了？”
徐辰這個名字，最近在北大可是如雷貫耳。數院那個搞定哥德巴赫猜想的大一新生，連他這個外院的人都聽說了。
帶著一絲疑惑，他點開了郵件。
“朱老師您好，我是數院的徐辰。最近閒暇之餘，我對大語言模型的邏輯推理問題做了一些研究，提出了一種基於幾何嵌入的新方法。考慮到該技術的敏感性，特請您指正……”
“閒暇之餘？”朱宋純笑了笑，“現在的年輕人，口氣倒是不小。”
他隨手點開了附件裡的PDF。
映入眼簾的第一個標題，就讓他愣了一下。
《Logic Is Also You Need》
“嚯，這標題，夠狂的啊。”
朱宋純挑了挑眉。
在AI界，雖然起標題向來比較隨意，什麼“YOLO”、“BERT”滿天飛。
但敢首接對標谷歌那篇奠基之作《Attention Is All You Need》的，要麼是譁眾取寵的水文，要麼……就是真的覺得自己搞出了能與之比肩的顛覆性成果。
“初生牛犢不怕虎。”
朱宋純心裡並沒有太當回事。每年都有無數這種“標題黨”論文，聲稱拳打GPT，腳踢Transformer，結果開啟一看，全是些微創新或者縫合怪。
……
他帶著幾分審視，翻到了摘要和引言部分。
“符號邏輯推理模組（SLRM）……將一階謂詞邏輯引入Transformer……”
看到這裡，朱宋純的眉頭微微皺了起來，眼中閃過一絲失望。
“又是符號AI的老路子嗎？”
。了端弊的義主號符楚清太他，斗泰業為作
。的糊模、的續連是界世實現而，的剛、的散離是號符。”題問地落號符“——死的命致個一有它但。強釋解可，嚴輯邏，峰巔的IA號符是就統系家專的紀世上
。練訓和習學我自的模規大行進法算演”降下度梯“過，樣那路網經神像法無它著味意這。的微可不是輯邏號符，是的命要更
”。死卡會只，裡流水進裝齒把想是像就這，上路網經神的到接嫁生生，則規輯邏的剛把想“
。度難的合融”號符-經神“了估低，了真天太是還上程工在能可才天學數個這得覺，歎暗裡心純宋朱
”……易容麼那有哪，年十幾界學了擾困題問個這但，的好是法想有人輕年“
……
。看下往續繼，視審一著帶純宋朱
。下一了收地猛孔瞳的他，時義定型模何幾”xoB-lebmuG“的雜複個那到看，頁二第到翻子著耐他當，而然
”……等等“
”？……是這“
