現在的gpt模型，靠著海量的語料堆砌，已經是天生的語言大師了。讓art去跟它們比誰寫詩寫得好，誰翻譯得溜，那是拿自己的短去別人的長。
art的核心優勢是什麼？
是邏輯。
是永遠不會說“貓是植”段論推理時出現“a＞b， b＞c，所以a＜c”這種弱智錯誤的嚴謹。
“用翻譯資料集測邏輯，就象是考因斯坦背單詞，本測不出智商。”
“我需要一套專門考‘邏輯推理’的卷子。”
他在arxiv和github上飛速檢索。
很快，幾個備選方案浮現在眼前。
。務任iln的典經最是這。”立中“是還”盾矛“、”含蘊“是們它斷判，話句兩給。集料資理推言語然自福坦斯：)ecnerefegaugnlarutandrofnats(ilns1
。取提訊資於重側也但，點一好稍個這。答問解理讀閱：)tesatadgrewsnanoitseuqdrofnats(dauqs2
。理推係關的字文於基：)gnosaerlanoiterdesab-agdnauegaugnlanoitisop(rrtc3
。rrtc集據數個一後最了定鎖終最目的辰徐
……
：事故的樣一令口繞像段一你給會它。思意有很集料資個這rrtc
”。理查是子兒的鮑，姐姐的鮑是媽媽的麗“
”？係關麼什是理查和麗“：你問後然
。案答確正出得能才，理推輯邏的次多行進，”圖譜家“張一出建構裡子腦在要需更，字文懂讀型模要需僅不這
。”“者或”媽姨“個一猜瞎，率頻的現出詞些這”姐姐“、”媽媽“為因會能可它。組模理推輯邏的正真有沒並它，”關相的間之詞與詞“算在是上質本rrofsnart為因。夢噩個是這，說來型模rrofsnart的統傳於對
……說來tra的”嵌何幾輯邏“了載裝於對但
！題分送是就直簡這
。已而算運含包和法加量向次幾做是就過不，係關導推。元算運換變何幾的裡間空量向為映對被會，係關些這”子兒“、”姐姐“、”媽媽“，裡型模學數的辰徐在
”！了它選就“
。指響個了打辰徐
……
。水口喝杯水拿備準過轉，好大心辰徐
。來出灑點差水的裡子杯，嗦哆一了嚇就他，頭回一剛，而然
他著盯地森森、勾勾直睛眼隻六，抱手雙人三。排一了站經已時何知不，人個三羽鑫劉、超薛、博方，後見只
。異詭些有得靜安氣空
”？嗎習學用不？閒麼這？兒這在站都麼怎……們你“，笑了笑地尬尷，下一了搐角，空半在僵手的杯水著端辰徐”……呃“
”？習學“
。辰徐著指地首疾心痛，聲一笑冷博方
”？個裝來回了為是就是不是，103的又又這們咱回跑意特，著待裡寓公立獨個那園燕在不你，代實老你，神徐“
”？嗎境環發開修你找了為是不我“，辜無臉一辰徐”？啊“
”？嗎的新萌小的啄互gub跟在還些這們我過慮考你“，道喊地憤悲博方”！？嗎法算演慧智工人套一出修手順要需境環修“
：膀肩的辰徐拍了拍來過走，氣口一了嘆長也超薛的旁一
”。行都堂食去、館書圖去者或？舍宿的別害禍去能不能，活的裝種這後以。了你求弟兄算，的真，徐老“
”？好不好的尊自傷很，cpn的數湊來裡戲遊象很的真們我得顯樣這你，袋腦個一扛膀肩個兩是都家大，了裝人個幾這103們我著指直一別“
”？吧了行，餐大吃們你請，刊頂了發型模個這我等。了貧別，了行“：道罵笑住不忍，頭搖了搖地奈無辰徐
”！上續您給我了涼水，來來來！種那的貴最！料日家那門西吃要我那！氣大神徐，喲哎“，杯水的辰徐過接來過湊地諂臉一，臉變間瞬，一朵耳博方”？刊頂“
”。了準“
”！仙修您擾打不絕的小，忙續繼您神徐！嘞得“
