LLM在数学证明中常猜测，难以构造严谨证明

LLM在数学证明中经常猜测！一项新研究IneqMath揭示了，即使在找到正确答案的情况下，LLM也难以构造严谨的证明。