征集令—探索围棋盘上“确定真理”的第一步

吴清源说：

“我一生只有两件事：围棋和真理。”

本研究组只有一件事：

探索围棋中的确定真理。

围棋中有“确定真理”吗

当我们谈到围棋中的“真理”，往往认为其遥不可及、甚至是一个伪命题。诚然，竞技就是在没有“确定真理”的条件下才能成立，围棋的许多价值也是在人类达不到“确定真理”的条件下才能呈现出来。

但围棋就是这样一个能呈现出不同价值的事物，当我们真正以科学的角度去思考围棋中有哪些是“确定真理”的时候，我们会发现这里并非空无一物。

哪些是人类能够达到的确定真理？

人脑计算的限度在哪里？

正确贴子数是否可证？

智能围棋如何突破瓶颈？

……

看起来互不相关的命题，却能够通过同一个研究串联起来：小棋盘最优解。

七路盘最优解已经发表在《围棋天地》2015年第20期

为什么要做小棋盘最优解研究？

在做7*7棋盘最优解研究的时候，我发现完全没有用到“厚薄、强弱、虚实、势地”等等抽象概念，而只是用经验+计算来完成。但在19*19的棋盘上，人类无法达到最优解，因此只能用“厚薄、强弱、虚实、势地”这些阴阳二元的方式来理解和认知围棋。

这向我们揭示了一个哲学命题：“人类理性能达到的是数，不能达到的是道。”或者说：“道总是以人类能够理解的方式呈现出来。”

“大道无门，千差有路”

体现在棋盘上，在能算清的地方是数，在算不清的地方是阴阳。这实际上也就是我们认识世界的方式：科学告诉我们一些确定知识，但人的智慧却往往与这些知识没有直接关系。在人不能完全达到的地方，我们通过人类独特的、“道理的”方式能够知道什么、达到什么程度？这正是19路围棋能够长存的重要价值所在，也是我们可以通过围棋增长智慧的原因。

但是，这里并不是想谈论围棋的哲学命题，也不讨论如何可能从围棋中增长智慧，这些将是喆理围棋沙龙以后讨论的命题。在这里，我们先来探究围棋中“数”的部分。我们究竟能从围棋中确切地知道什么？先从小棋盘最优解开始。

目前小棋盘最优解研究成果

人类研究成果

人类能够达到的围棋最优解，可以通过研究不断向上推进。目前达到了7*7，其难度远大于包括《发阳论》在内的任何一道单纯的死活题。我前后用了半年时间来计算和修正，期间与时越等好友多次探讨，最终给出了一个目前可以满意的结论，研究成果发表于《围棋天地》2015年第20期。

计算机研究成果

计算机方面则于09年发表的一篇论文中给出了许多30个交叉点以下的包括长方形棋盘的最优解结论，正方形棋盘止步于6*6。

关于贴子

另一方面，在我和武坤教授合作的最优解研究中发现，围棋的正确贴子数很可能是确实存在规律的。

这一点在最初级的“一路单数路棋盘”中得到了第一个贴子规律：1*5、1*9、1*13、1*17等棋盘，正确贴子数为0；1*7、1*11、1*15、1*19等棋盘，正确贴子数为1。我们认为这一规律可以无限延伸下去，这很可能是围棋正确贴子数的第一个确定真理。

这一发现告诉我们，正确贴子数确实可能存在规律，但我们目前掌握的最优解有效数据太少了，少到难以做出数学上的归纳。一旦有充足的数据量，或许19路棋盘的正确贴目数也能够得到推论证明。很显然，我们需要更多的最优解数据。

武坤教授参与了喆理围棋沙龙首次线下活动

为什么请你来参与这项研究？

我个人的力量不足以完成如此庞大的计算工作。因此我倡议发起这个研究组，希望感兴趣的棋手能够共同参与。

作为一名棋手，我从棋手的角度谈一下参与这一研究的意义：

1， 从锻炼计算力的角度，7*7以上最优解的计算难度高于所有死活题??????；

2， 从锻炼实战能力的角度，计算最优解的过程比死活题更接近对局思维??????；

3， 从价值的角度，你计算出的结果很可能会成为围棋中的确定知识??????；

4， 真的会有很多有趣的变化啊??????！

想象一下：你做出一道死活题后，发现你是这个世界上第一个做出来的，并且你的正解图会写入棋书、留下你的名字……是否很神奇？加入这个最优解研究组，就有这个可能。

一些有趣的基础图例

（1*4棋盘，如果允许虚手回提，最优解是什么？）

（1*5棋盘，黑1走中间就全占了吗？）

（1*9棋盘，黑1、3之后还有什么变化？）

（1*12棋盘，白棋如何能让黑棋只多占两子？）

以上问题供大家小试牛刀，虽然相比于我们后面要做的研究要简单很多，但其中存在一些盲点变化，提示了这项工作的难度和趣味。目前得到的一路棋盘最优解数据已经呈现出我们归纳得出的第一个贴目规律，这项工作的继续进行具有数学价值。数据的得出就建立在对如上图例的计算中。

（3*7棋盘，白棋能否活出一块？）

如果将3*7棋盘看作一道死活题，其大约有业余5-6段的难度。想加入高难度研究的棋手，可以先做一下此题，能够对最优解研究与死活题的关系有所体会。

研究内容和报名要求

鉴于目前最优解的进度以及不同大小棋盘的难度，整个研究分为几个小组：

1

最优解进阶研究组

研究内容：8*8最优解变化与正确贴目结论。

未来方向：8*8是人类研究围棋最优解的下一关，一旦突破则可进军9*9。

研究难度：此组研究在围棋技术上难度较高，拟分工完成。

报名要求：业余6段至职业九段，棋力强者、有强烈兴趣者优先。

2

最优解拓展研究组

研究内容：3*9以上长方形棋盘最优解。

未来方向：预计止于7*9（取决于报名者棋力）。

研究难度：此组在围棋技术上难度仍然很高，尤其在5*7以上。将根据报名情况分工。

报名要求：业余5段至职业九段，棋力强者，有强烈兴趣者优先。

3

最优解贴目规律研究组

研究内容：3路以下可以得出较多最优解数据的棋盘。

未来方向：从1路偶数路贴目规律开始探索，旨在得出较多有效数据并寻找贴目规律。

研究难度：围棋技术上难度稍低，但数据量大，可与计算机合作，小组成员验证。

报名要求：业余4段至职业九段，理科背景、有强烈兴趣者优先。

关于计算机围棋最优解方面的问题，我们还会有另外的项目进行研究探讨。尤其是在最优解证明方法和智能算法优化上，我们有很多待实现的想法，在此也请感兴趣的、尤其是有计算机背景的棋友联系我们。

报名方法：

1、回复此文章；

2、发送报名邮件到[e-mail]；

3、联系李喆本人。

期待您的加入喆理围棋沙龙。

关于沙龙

喆理围棋沙龙由李喆六段发起，清华围棋文化交流与研究基金主办。旨在以沙龙的形式，吸引志同道合的朋友，从文化、哲学等方面出发，共同思考、交流意见，探寻围棋的价值与本质。

希望参与讨论、投稿或参与沙龙延展项目请发邮件至[e-mail]

期待您的参与！