我指出来 A五子棋的证明与棋盘大小无关，因为 B它的取胜只是local形状有关，你就以为我说了任何B都有完全证明。这都是哪儿跟哪儿？
Victor Allis 用人工猪能证明了五子棋问题，并不排除在他之前没有五子棋问题的证明。数学又不是什么伪科学非专业人士就看不懂了，你自己静下心来看看不就明白了么。
Victor 的原话是“as far as we know, no complete proof has been published nor has any go-moku program ever been shown to be unbeatable when playing black.”
as far as I know, 写论文的时候都要把自己的工作说得重要一些，“从某种意义上”那都是首创。其实他那文章里都是一些技术性的东西，哪谈得上“科学”。
把人工智能局限于奇技淫巧，要超过人工猪能是没戏的。