摘要 用一个大模型判断 是否为有理数。实验表明，虽然大模型很会推理化简；但是，也不乏错误推导（包括结论）。因此，让AI正确推理，是任重道远的。例1. 判断  是否为有理数。    下面是与一个大模型的对话。点评：  （1）大模型错了。它应该是有理数。这个既能通过符