第327章 人类无可替代 (第2/3页)
川本来想用LOváSZ局部引理处理‘几乎相交’的那一类边界情形。
但写着写着发现引理给的条件太松，界会掉下去。
不得，思路得换。
他当机立断，另起一行。
改用精确计数，把边界情形按交的维数分层，逐层算。
是麻烦点，但界是紧的。
……求和式收拢，得到一个闭合形式。
正好是那个猜了20年的上界。
“OK，等号情形就是取中间那两层里满足对偶条件的那一族，直接验证，取到等号。”云川拍了拍手，合上马克笔笔帽，浑身散发出剑客收剑回鞘般的飘逸。
此时，旁边电脑，OpenAi还在演算中。
预估时间1个多月。
Ai没想到影子映射，走的是一力破万法的路数。
凭借强大的算力平推。
终究是人类赢了。
柯洁要是在场搞不好哭成男娘。
当年他被阿尔法狗掏成哭泣屁精，今天可算有人帮他出了口恶气。
办公区沸腾。
学长一扫阴霾，也不COS失败结算戴夫了，几乎是扑到白板前，声音压不住的兴奋。
“分层精确计数！
你把边界按维数切开，每一层单独算，最后再合起来，妙啊！”
“比Ai都厉害！”
“AI绞尽脑汁，选了条通用路，把几何工具全背上，从GraSSmannian那边绕进来。
你倒好，两行字把题翻到对偶格上，结构自己露出来了，重武器一件没用。”
“解题思路绝了！
我们做组合碰到子空间格问题，第一反应都是往上嵌，嵌到几何里找工具，你反过来，往对偶翻。
这一翻，等于把整个问题的方向调了个头。
难的部分就变成容易部分。”
“何止是容易。”学姐也不淡定，激动得面红耳赤，“对比AI的解法，最麻烦的一段就是在处理截影重合，它用相交数硬算。
你这一翻，截影必然错开。
它那两页半的功夫直接省了。”
“果然AI无法代替人类！”
“学弟鼻孔插数据线，一根打3A游戏，一根挖比特币。”
“又是篇绝
（本章未完，请点击下一页继续阅读）