比人算出多得多的后面的步数。
这其实也是用人的方式在下棋,当算力足够以后程序全是优势,没有弱点。
但是谁说一定要按照和人下棋的方式和计算器程序下棋呢?
就比如和机器人比拉货,一个人撑死拉得动板车什么的。但是你不会换一辆百吨王开吗?
和计算机下棋你得针对计算机的弱点。毋庸置疑计算机在算力上远超人类,这事优点也是缺点。程序没有直觉这种东西,所有的判断都来源于计算,来源于对每个选择得失的分析。这也依赖计算。
既然认识算不过计算机的,那就把局势搞复杂,让程序都算不过来。这时候人还可以用直觉这种东西,但是程序的话只能是随机了。
依旧从数学入手。德国数学家恩斯特·策梅洛证明了在两个人参与的有限游戏中,如果双方皆拥有完全的资讯,并且运气因素不涉及在游戏中,那么先行者或后行者当中必有一方必胜/必不败的策略。
围棋理论上有3^361种布局,受规则的限制,合法的组合大约是2×10^170种。可观测宇宙大约有4×10^80个粒子,按照信息论的原理可观测宇宙可以包含6×10^80比特的信息。所以对于游戏来说对弈的双方不可能拥有完全的资讯。
从这一原理出发,班行远证明了对于可观测宇宙的棋手,人也罢程序也罢,如果严格按照规则每一步都通过计算选择最优下法,当棋局足够复杂时,每一步都至少存在一个计算陷阱,这时即使在最优的计算策略下可观测宇宙的算力不足以支撑算出具有正收益的下法。
简单的说就是既然算不过程序我就把水搞混了,让程序没办法计算,只能随机下,可能会随机到正确的下法,但是更大的可能性是下出天崩的一步。
而人类棋手还有直觉、大局观这种不讲理的东西,大概率会下出更好的一步棋。
班行远分析了阿尔法围棋的计算策略,然后计算出棋盘上有120子以后,计算陷阱已经足够吞掉程序的全部算力。并证明了制造计算陷阱的方法。按照这个方法,人类棋手至少输不了。
当然前提是前120手别崩的不可收拾。
可惜的是阿尔法围棋在战胜柯洁后宣布不再参加公开的人棋大战,同时宣布进行升级,暂时不开放。
班行远也不着急,总有你开放的一天。
10月中旬的最后三天,会议开幕,会上追认了关于班行远中枢和门下省成员的有关事项。在这次会议
本章未完,请点击下一页继续阅读! 第2页 / 共3页