不过吐槽归吐槽，他还是说道。
“最近捣鼓点人工智能的事。”
“哦。”彭罗斯应了一声，明显没往心里去。
下一秒，老头像是突然想起了什麽。
“哎，东，你最近有时间没有啊？”
李东想了想。
大模型原型那边，具体的事得等林伟那边定下来。
好像，还真有点时间。
“有点。”
话音刚落，彭罗斯的脸腾地一下就红了，双手死死握住李东的手，然後用蹩脚的中文说道。
“同志。”
紧跟着又换回了英文。
“那你可得帮帮我啊！”
李东：……
看着老头这副样子，他是真有点好奇了，不过他现在确实饿了。
“走，先去食堂吃点东西，边吃边说。”
彭罗斯点了点头，然後朝莎拉招了招手。
三人一道朝农园食堂走去。
……
一路上，彭罗斯都在说莎拉的事。
李东这才知道，香江那句不得了的东西，真不是导师滤镜。
莎拉是真把安德鲁斯–柯蒂斯猜想放倒了，当然是在纲领的意义上。
事情要从一年多以前说起。
那会儿莎拉还跟着彭罗斯做解析数论，不知道哪天动了念头，一猛子紮进了拓扑。
而她还真有点李东的风范，一紮进去干的第一件事，就是先把全行的饭碗给砸了。
她证了一条下界定理。
所谓的下界，就是最少也得这麽多。
这条定理说的是：哪怕一个呈示明明是能化简的，把它化简到底所需要的步数，最少也可能多到塔函数级。
那这跟安德鲁斯–柯蒂斯猜想有什麽关系呢？
关系就在证伪两个字上。
本章未完，请翻下一页继续阅读.........