主题：关于大数据 -- jent

这个图片表达的目前网上热烈讨论的趣味问题。当然，这个难度低，大家都会做。但是，计算机会做吗？显然，除非有一个比较高级的逻辑推理机，通常的计算机做不了这个题。这样的逻辑机，是有的，但是有多通用，就还是问题。我不知道现在已经很多的那些自动证明机能够做这个问题。我猜想，加以若干人工的初始化，应该是可以的，但是，完全不依赖人工，我估计，恐怕做不出来。

那么，是否有统计的方式来做这个趣味题目？或者用大量数据的方法来做？我不知道，但是估计这样的路子是有的。