这就是策梅洛定理的证据

你要是实在不懂这玩意儿为什么是定理，也可以去看耶鲁大学的博弈论公开课

https://www.bilibili.com/video/BV1Kt411h7Ep?p=15

第十五集，从第10分钟开始用归纳法证明

【 在 zszqzzzf (炼狱天使——反者道之动) 的大作中提到: 】
: 标  题: 前50手几乎都是套路，一线职业棋手都是在背AI定式
: 发信站: 水木社区 (Mon Dec  7 14:31:59 2020), 转信
:
: 作者：空想千年头条号
:
:  12小时前 2453
:
:
: 仅仅是十余年前，顶尖计算机专家和现役一流棋手还认为，人类不可能开发出能和人类
: 智慧媲美的围棋软件。理由是要穷尽围棋变化，其量级是361的阶乘，这是一个天文数字
: ，也就是说即使是计算机也完不成这样的工作量。换句话说，人脑和·电脑下，电脑没
: 戏。
:
:
: 证据一：2015年11月15日 第一届世界计算机围棋锦标赛在京落幕。来自韩国的计算机围
: 棋程序“石子旋风”在“人机大战”中被中国围棋名人战冠军连笑七段打到让六子。
:
:
: 但两年年时间不到，围棋A1已经远远超过了人类顶尖棋手。
:
:
: 证据二：2018年韩日最强AI争霸 石子旋风3:1地震狗，而连笑在网上以半目之差输给地
: 震狗。
:
:
: 这说明，两年时间，计算机围棋程序进步了至少六个字。
:
:
: 从被让六子到分先取胜，围棋AI的进步令人瞠目结舌。
:
:
: 现在的比赛，一言以蔽之：前50手已无秘密，一线职业棋手都是在背AI定式！
:
:
: 俞斌是中国围棋队主教练，他曾经说过一句话：现在十几岁左右的小孩，哪一个对AI的
: 变化都清楚得很。
:
:
: 中国围棋名宿，已故的陈祖德说过，围棋的布局与定式都是套路，真正体现水平的是中
: 盘。
:
:
: 现代的棋战，前50手已无秘密，一线职业棋手都是在背AI定式！也就是说，五十手以后
: ，真正的较量才刚刚开始。
:
:
: 这是许多人都知道的事实，但是职业棋手做到了什么程度，人们其实并不是很清楚，下
: 面我结合实战棋谱来解释一下，保证大家都能看明白。
:
:
:
: 2019年8月4日，韩国举办第六届国手山脉杯世界围棋最强赛，半决赛申真谞与陈耀烨狭
: 路相逢。当时陈耀烨30岁，申真谞仅19岁，但是两个人在围棋AI学习方面都走得很远。
:
:
:
: 陈耀烨说他和国家队训练用的高配置绝艺AI下了不少于两千局棋，估计分先下他赢棋的
: 机会几乎没有，没有胜利的希望还下了这么多，陈耀烨的探索精神值得钦佩。
:
:
: 如同一个人孤单着跑步，无人喝彩。
:
:
: 如同下棋时没有赢棋的快乐，马云咋说的，把我仅有的快乐都拿走了，还玩什么玩？
:
:
:
: 双方在右上角斗法。申真谞早早配置了高级电脑，顶级围棋AI也有，他被称为申工智能
: ，据说周睿羊有一段时间也被称作阿法羊，这都是在围棋AI方面探索很深的人。拿右上
: 角来说，以前老师教的已经不够用了，从26到29，是属于围棋AI攻略。
:
:
:
: 既然围棋AI攻略只存在于AI给出的参考图中，那就需要深度探索，需要经历失败，需要
: 死记硬背。陈耀烨和申真谞都做到了，现在拼的是深度。
:
:
:
: 参考图一：现在到了临界的分歧路口：黑棋选A还是B呢？陈耀烨研究过，现在他需要凭
: 感觉了。
:
:
:
: 实战图一：陈耀烨选择了1-5厚实吃住，然后还有A位封，没有坏的道理嘛。
:
:
:
: 参考图二：申真谞无疑研究得更深，因为AI的推荐是1-10.本图白棋胜率50%。而陈耀烨
: 实战的选择，.白棋胜率70%。20%的胜率差别，意味着什么呢？
:
:
:
: 参考图三：陈耀烨直接封锁，或许他应该先做A与B的交换。陈耀烨是先捞后洗的棋风，
: 也许 他还有A位上一路碰的洗活的打算呢，但是，他会有这个机会吗？
:
:
:
: 参考图四：在陈耀烨走了黑三角子以后，如果申真谞走1-11的屈服，黑棋叉叉子都会死
: 在里面，安安静静的，也就是说过没有机会。但是申真谞实战尖断，要吞下黑三角一子
: ，这才给了陈耀烨机会。
:
:
: 这就是是人类棋手就会犯错，所以柯洁才有“还是和人类棋手下棋快乐”的真心话。
:
:
:
:
:
: 再看最近的实战例，於之莹和周泓余的双鱼之争，争的是第三届吴清源杯，第二局，从
: 12碰到白30，周泓余大概率在背谱，到中盘阶段，全靠个人综合能力了，於之莹的37,3
: 9孤军犯险，正好给了喜欢斗力的周泓余机会。
:
:
: 於之莹也背谱，她半决赛赢王晨星，也是执白取势，然后将势力转换为实地赢的。
:
:
: 现在的问题是，背谱人人都会，综合能力，过去叫中盘作战能力，她有优势吗？
:
:
: 我们再看第三届吴清源杯，第三局，周泓余执白，
:
:
:
: 背书到26，於之莹感觉再围就不够了，于是开始逃孤，周泓余的白36显然是急功近利的
: ，於之莹实战立刻扳粘是非常机敏的。
:
:
:
: 如果不挖断，那就是走1-5，AI也指出了这一点，於之莹实战走5位扳，证明还是用了功
: 的。
:
:
:
: 参考图五：如果黑棋6位补一个，白7再挖断，那比实战好了很多呢。
:
:
:
:
: 与申真谞动辄记背下数十手棋的学霸相比，於之莹，周泓余只是记住了一些皮毛，女子
: 围棋和顶尖男子围棋的差距还是有的，拿男子顶尖围棋来说，申真谞和朴廷桓下棋，申
: 真谞一副有恃无恐的样子，不正是深度学习后的底气十足吗？
:
:
:  打赏作者
:
: 15条评论
:
: 发表您的看法
:
:  潘丹全  2小时前
:
:  1  1
:
: 现在记Al套路和以前学棋的时候背定式是一样的，谁钻得深，吃得透，在对局当中就可
: 以节省时间和脑力的消耗，自然就可以占据各方面的优势
:
: 评论
:
:  张冬 2小时前
:
:  1  0
:
: 背下开局套路，节省时间 精力，用在中盘做大量计算，这没有任何毛病吧？
:
: 评论
:
:  高士开 4小时前
:
:  13  2
:
: 可憋提马云了！下棋只是为了赢棋的快乐，不是真正的热爱围棋。他不过是附庸风雅妆
: 点自己罢了！没见他至今从未赞助过任何一个围棋比赛？
:
: 评论
:
:  刘望飞 4小时前
:
:  5  0
:
: 其时，前ai时代套路更多。中国流，小林流 ，三连星，有时一个大型定式下来四分之一
: 棋盘没了。ai时代棋的水平更高，更激烈了。无论如何，ai的出现，对围棋利大于弊。
:
:
: 评论
:
:  陈堂木  5小时前
:
:  2  1
:
: 学业己影响柯洁的正常训练，没有更多的时间对布局的变化记清记准记深，近段的棋到
: 中盘他都是落后，他在布局方面己落伍了。前段一波连胜，是在一定实力基础上的搅功
: 加威慑力。搅功与威慑力相得益彰，掀起的波峰远高于其实际水平！术不可久耍。一旦
: 失出威摄力，搅功也会大降！柯洁尽管能力出众也是逃不脱搏二兔不得一免的规律的！
: 不可不慎之
:
: 评论
:
:  雨清 5小时前
:
:  0  1
:
: 什么时候才能还我丰富多彩的围棋？
:
: 评论
:
:  柳景 5小时前
:
:  0  0
:
: 下着看，别纠结
:
: 评论
:
:  田世清 6小时前
:
:  7  0
:
: 我看所有的棋手只有唐胖是不背谱的 AI吻合低的让人发指
:
: 评论
:
:  王喆  6小时前
:
:  5  0
:
: 果然是空想千年头条号，不过这篇算他质量最高的之一了
:
: 评论
:
:  傅今识 6小时前
:
:  0  0
:
: 说到底还是对棋的理解是根本，计算、判断是基础
:
: --
:
: ※ 修改:·zszqzzzf 于 Dec  7 14:34:47 2020 修改本文·[FROM: 112.47.162.*]
: ※ 来源:·水木社区 newsmth.net·[FROM: 112.47.162.*]
--
修改:zszqzzzf FROM 112.47.162.*
FROM 221.222.86.*

就是他

策梅洛定理是博弈论的定理

但是策梅洛是集合论的那个策梅洛


【 在 spioner007 (迷途小书童) 的大作中提到: 】
: 标  题: Re: 前50手几乎都是套路，一线职业棋手都是在背AI定式
: 发信站: 水木社区 (Mon Dec  7 22:54:10 2020), 站内
:
: 策梅洛定理是集合论里的那个吗？
: 【 在 Lcsccc 的大作中提到: 】
: : 我知道，你不就是用热力学第二定律否认的么
: :
: : 这恰好说明了你完全不懂策梅洛定理是什么
: : ...................
: --来自微水木3.5.10
: --
:
: ※ 来源:·水木社区 http://m.newsmth.net·[FROM: 27.29.205.*]
--
修改:Lcsccc FROM 221.222.86.*
FROM 221.222.86.*

那你知不知道集合论是你这个行业的基础课呢？

软件工程师？

【 在 zszqzzzf (炼狱天使——反者道之动) 的大作中提到: 】
: 标  题: Re: 前50手几乎都是套路，一线职业棋手都是在背AI定式
: 发信站: 水木社区 (Mon Dec  7 23:55:01 2020), 站内
:
:
: 不用学。知道几条结果就行了。
: 100年前人们走的是弯路。
: 现在还执迷于他们的错误见解的人，实在是把这100年的时间都浪费了。
: 过去50年内，许多知识早就更新了。
:
: 【 在 spioner007 (迷途小书童) 的大作中提到: 】
: : 哦，集合论太难学了
: : --来自微水木3.5.10
:
:
: --
:
: ※ 来源:·水木社区 newsmth.net·[FROM: 112.47.162.*]
--
FROM 221.222.86.*