Tea (@Xcating)关于如何向Prover-V2正确提问 中发帖

总结:用数学话,尽量少用自然语言提问。

自然语言提问:疯狂重试,无法找到正确答案

数学语言提问:轻松找到最佳答案