LLM 验证器给数学证明打出近满分，专家复核发现仅 17% 正确
An LLM verifier rated math proofs near-perfect; an expert found 17% correct
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
一项测试中，LLM 验证器对数学证明给出接近满分的评分，而专家人工复核发现其中仅 17% 正确。该结果暴露了当前 LLM 作为数学证明验证器时的可靠性问题。
来源：korbonits.com（经 Hacker News） · korbonits.com