我提的那两个简单的逻辑题是看看它有没有逻辑能力的。我本来以为机器学习已经可以做出上面两题了，因为开始的 code review 的例子暗示机器能理解 mutex 的语义跟 data race 之间的逻辑关系，甚至能从上下文里推断出 data race。
后面的关于欧拉定理的是看它能不能复述现成的结论，因为这个问题的答案在维基上能搜到，但需要重新组织一下语言。换句话说，一个人不懂数论也可以通过阅读几页维基页面，写下一个凑合的但是符合事实的答案。也就是说这可以是一个纯粹的符号处理的问题。我本来以为机器达到这一步应该是没有问题的。
【 在 lvsoft 的大作中提到: 】
: 你问的问题太难了吧。要解答这类问题需要理解数论，你问的费马小定理也是这个类别的好吧...
另外，说到一阶逻辑，这恰恰是...
--
FROM 188.67.137.*