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

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

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

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

所有跟帖： 

• "呼三娘"。 -中间小谢- ♂ (175 bytes) () 11/05/2023 postreply 08:41:56

• haha, 谢兄真是绝顶聪明。 -dhyang_wxc- ♂ (0 bytes) () 11/05/2023 postreply 08:48:14