AI 产品

AI协作发现反驳Berlekamp猜想的Domineering游戏反例

首次出现 8月14日 21:30·最近更新 8月14日 21:30

研究人员使用AI工作流发现了一个Domineering游戏的反例，该反例反驳了Berlekamp的猜想，即任何有限Domineering位置的温度不超过2。反例是一个26格棋盘，温度为33/16。Domineering是一种棋盘游戏，由Göran Andersson发明，玩家轮流放置多米诺骨牌，垂直或水平。温度是组合博弈理论中衡量紧迫性的指标。AI代理GPT-5.6 Pro在此次发现中发挥了作用。已确认事实包括反例的发现、AI的使用以及游戏基本规则；讨论涉及猜想被反驳和AI在数学中的应用。

多来源证据

Twitter/X AI List·twitter·8月13日 11:04

使用AI工作流发现反驳Berlekamp猜想的反例：Domineering游戏温度超2

一个反例被发现，反驳了Berlekamp的猜想，该猜想认为没有Domineering位置温度超过2（一个26格棋盘，温度33/16）。这是通过AI工作流使用AI代理（主要是GPT-5.6 Pro）协作进行新数学发现实现的。Domineering是Göran Andersson在1973年左右发明的游戏，由Martin Gardner在1974年《科学美国人》专栏中推广。两名玩家在方格棋盘上轮流放置多米诺骨牌（每个骨牌覆盖两个相邻的空方格）：左边玩家只放垂直骨牌，右边玩家只放水平骨牌。第一个无法移动的玩家输。随着棋盘填满，它分裂成独立区域，游戏变成小游戏之和。温度是组合博弈理论中衡量这种和紧迫性

事件时间线

8月13日 11:04
Twitter/X AI List
使用AI工作流发现反驳Berlekamp猜想的反例：Domineering游戏温度超2