这类题在美国，在8-10岁的游戏里就有。AI不能解，可能是在理解自然语言能力上有不足——如果用非形式思维去看。

学生证题，AI程序员编程，按照形式逻辑。数学家不是。

一个非形式逻辑的故事，出自《智囊》：

某地一商人，有妻叫三娘。商人要乘船购货，早上就到河边，舟子利其金，趁无人，杀人抛尸，又回到原处。其余客人有的已至，等众人来齐，唯少商人，命舟子催之。舟子至三娘屋外，呼三娘，三娘说，商人早已出门。后来寻商人不得，三娘告舟子。此案经年不能决。后某人至，阅卷，招舟子，一审定谳。