斯坦背单词，根本测不出智商。”

    “我需要一套专门考‘逻辑推理’的卷子。”

    他在ArXiv和Github上飞速检索。

    很快，几个备选方案浮现在眼前。

    1. SNLI (Stanford Natural Language Inference)：斯坦福自然语言推理数据集。给两句话，判断它们是“蕴含”、“矛盾”还是“中立”。这是最经典的NLI任务。

    2. SQuAD (Stanford Question Answering Dataset)：阅读理解问答。这个稍好一点，但也侧重于信息提取。

    3. CLUTRR (Coositional Language Understanding and Text-based Relational Reasoning)：基于文本的关系推理。

    徐辰的目光最终锁定了最后一个数据集CLUTRR。

    ……

    CLUTRR这个数据集很有意思。一段像绕口令一样的故事：

    “爱丽丝的妈妈是鲍勃的姐姐，鲍勃的儿子是查理。”

    然后问你：“爱丽丝和查理是什么关系？”

    这不仅需要模型读懂文本，更需要在脑子里构建出一张“家谱图”，进行多次的逻辑推理，才能得出正确答案。

    对于传统的Transforr模型来说，这是个噩梦。因为Transforr本质上是在算“词与词之间的相关性”，它并没有真正的逻辑推理模块。它可能会因为“妈妈”、“姐姐”这些词出现的频率，瞎猜一个“姨妈”或者“奶奶”。

    但对于装载了“逻辑几何嵌入”的LAART来说……

    这简直就是送分题！

    在徐辰的数学模型里，“妈妈”、“姐姐”、“儿子”这些关系，会被映射为矢量空间里的几何变换算子。推导关系，不过就是做几次矢量加法和包含运算而已。

    “就选它了！”

    徐辰打了个响指。

    ……

    徐辰心情大好，转过身准备拿水杯喝口水。

    然而，刚一回头，他就吓了一哆嗦，杯子里的水差点洒出来。

    只见身后，方博、薛超、刘鑫羽三个人，不知何时已经站成了一排。三人双手抱胸，六只眼睛直勾勾、阴森森地盯着他

    空气安静得有些诡异。

    “呃……”徐辰端着水杯的手僵在半空，嘴角抽搐了一下，尴尬地笑了笑，“你们……怎么都站在这儿？这么闲？不用学习吗？”

    “学习？”

    方博冷笑一声，痛心疾首地指着徐辰。

    “徐神，你老实交代，你不在燕园那个独立公寓里待着，特意跑回咱们这又挤又乱的301，是不是就是为了回来装个逼？”

    “啊？”徐辰一脸无辜，“我不是为了找你修开发环境吗？”

    “修环境需要顺手修出一套人工智能算法吗？！”方博悲愤地喊道，“你考虑过我们这些还在跟Bug互啄的小萌新的感受吗？”

    一旁的薛超也长叹了一口气，走过来拍了拍徐辰的肩膀：

    “老徐，真的，算兄弟求你了。以后这种装逼的活动，能不能去祸害别的宿舍？或者去图书馆、去食堂都行。”

    “别一直指着我们301这几个人装了，大家都是两个肩膀扛一个脑袋，你这样显得我们真的很象游戏里来凑数的NPC，很伤自尊的好不好？”

    徐辰无奈地摇了摇头，忍不住笑骂道：“行了，别贫了。等我这个模型发了顶刊，请你们吃大餐，行了吧？”

    “顶刊？”方博耳朵一动，瞬间变脸，一脸谄媚地凑过来接过徐辰的水杯，“哎哟，徐神大气！那我要吃西门那家日料！最贵的那种！来来来，水凉了我给您续上！”

    “准了。”

    “得嘞！徐神您继续忙，小的绝不打扰您修仙！”