AI生成的证明或推导是否可靠、如何验证由模型给出的数学论证，这些问题在学术界尚未形成共识。