李东眨了眨眼。
这特么不是彭罗斯和他的学生莎拉吗？
彭罗斯教授现在正拿着手机打电话，莎拉站在旁边，怀里还抱着一台笔记本电脑。
说起来，李东真有些日子没见过他们了，上一次还是在香江的i上，当然有还有一些小误会。
当时彭罗斯教授还红着老脸解释了一路，说莎拉弄出了一个不得了的东西，会后再跟他细说。
结果会后就没了下文。
“好像是安德鲁斯–柯蒂斯猜想吧。”
李东回忆了一下莎拉弄的东西。
这猜想名气不显，放数学界却是组合群论里挂了六十年的一桩悬案。
一九六五年，安德鲁斯和柯蒂斯两个人提出来的。
就是拿一个平衡呈示，也就是生成元和关系字一样多的那种，去呈示平凡群。
这个猜想断言：这样的呈示，总能靠几种规定好的初等变换，化回最平凡的样子。
打个比方，就像一个绳结。
已经知道它是能解开的，问题是：只许用规定的那几个手法，它是不是总解得开？
听着像句废话，可六十年了，证的人证不出来，找反例的人也找不着。
不过学界主流的看法是：这猜想，多半是假的。
……
李东慢慢的走了过去，先和莎拉打了个招呼，然后朝着彭罗斯点了点头。
“嗨，莎拉。”
莎拉也恭敬的说道。
“李东教授，您好。”
彭罗斯则是也朝着李东点了点头，还在和电话那头的人说话。
“还有多久能到？……好，好好好，行，那就这么定了，落了地给我电话。”
然后挂断电话后，彭罗斯教授才惊喜的说道。
“东！”
“好久没看到你了，你最近都在干嘛呀？”
李东的脸色有点古怪。
是我好久没见到你们吧？
我特么最近一直都在学校啊，也没见你们人呀。
不过吐槽归吐槽，他还是说道。
“最近捣鼓点人工智能的事。”
“哦。”彭罗斯应了一声，明显没往心里去。
下一秒，老头像是突然想起了什么。
“哎，东，你最近有时间没有啊？”
李东想了想。
大模型原型那边，具体的事得等林伟那边定下来。
好像，还真有点时间。
“有点。”
话音刚落，彭罗斯的脸腾地一下就红了，双手死死握住李东的手，然后用蹩脚的中文说道。
“同志。”
紧跟着又换回了英文。
“那你可得帮帮我啊！”
李东：……
看着老头这副样子，他是真有点好奇了，不过他现在确实饿了。
“走，先去食堂吃点东西，边吃边说。”
彭罗斯点了点头，然后朝莎拉招了招手。
三人一道朝农园食堂走去。
……
一路上，彭罗斯都在说莎拉的事。