公式推理,也是大模型做出来的吗?

帖子里面还没有图片