本文记录在人工智能软件的帮助下学习一种全新的编程环境的实例，之所以提人工智能软件而不是单指DeepSeek，一方面DeepSeek太火了，经常服务器繁忙，用本机本地部署的最多运行70b模型，似乎稍差。另一方面也作为一个比较，除了DeepSeek，我还用豆包来学习。另外，既然是学习试验，要选一个从来没有编过程序的语言和环境，当然还要有趣一点的才好。

本文记录在人工智能软件的帮助下学习一种全新的编程环境的实例，之所以提人工智能软件而不是单指DeepSeek，一方面DeepSeek太火了，经常服务器繁忙，用本机本地部署的最多运行70b模型，似乎稍差。另一方面也作为一个比较，除了DeepSeek，我还用豆包来学习。另外，既然是学习试验，要选一个从来没有编过程序的语言和环境，当然还要有趣一点的才好。

数字对：由两个1到9之间的整数组成的有序集合，记为(m,n)。若m≠n，则(m,n)与(n,m)视为不同的数字对。游戏双方：B方和W方，各自拥有一个集合（B集合和W集合），初始为空。K集合：未出现在B集合和W集合中的所有数字对。邻居关系：两个数字对(m,n)和(a,b)，若n=b且|m-a|=1，或m=a且|n-b|=1，则称它们为邻居关系。粘连关系：若A与B有邻居关系，B与C也有邻居关系，则A与

文中给出一种命题逻辑的新的表达方式，用来测试AI大模型能否进行逻辑推理

数字对：由两个1到9之间的整数组成的有序集合，记为(m,n)。若m≠n，(m,n)与(n,m)视为不同的数字对。游戏双方：B方和W方，各自拥有一个数字对集合，分别为B集合和W集合。游戏开始时，这两个集合均为空。K集合：包含所有未出现在B集合和W集合中的数字对。邻居关系：两个数字对(m,n)和(a,b)是邻居，如果m与a或n与b的差为1。粘连关系：若A与B是邻居，B与C也是邻居，则A与C也有粘连关系

DeepSeek能下围棋吗？今天天气不好，我们换个地方，乘高铁旅行。这次来挑战一下围棋规则，但是全程不能提围棋两字，看DeepSeek能否理解我围棋规则，首先能否当个裁判，然后看看能否让它跟我下棋。为了简单起见，我们针对9路围棋，不过考虑到韩国规则那种提子必须放在棋盒盖的规则比较麻烦，用中国规则可能简单一些。下面描述围棋规则，第一次还没经过验证，后面可能有迭代过程。游戏规则定义：1.数字对，是指两

deepseek生成和运行c语言程序